Skip to content

Well Now We Know

Hard Earned Knowledge

Month: February 2020

How to Set Terminal Titles in Ubuntu 16+

Setting terminal titles was a super useful feature in Ubuntu before 16.04. Here’s how to do it in modern versions:

Add the following to .bashrc

set-title(){
ORIG=$PS1
TITLE="\e]2;$@\a"
PS1=${ORIG}${TITLE}
}

Use the command:

set-title title_of_window
Author davePosted on February 12, 2020Leave a comment on How to Set Terminal Titles in Ubuntu 16+

Recent Posts

  • TIL you can bitshift in place in C++
  • Folding@Home with GPU support on Ubuntu 18.04 (mar 2020)
  • How to Set Terminal Titles in Ubuntu 16+
  • How to NTP a Raspberry Pi 4 via GPS and PPS
  • ROS Melodic on Raspberry Pi 4 (Dec 2019)

Recent Comments

    Archives

    • October 2020
    • March 2020
    • February 2020
    • December 2019

    Categories

    • Uncategorized

    Meta

    • Log in
    • Entries RSS
    • Comments RSS
    • WordPress.org
    Well Now We Know Proudly powered by WordPress