linux_tricks.md

Linux tricks

• change title in a terminal

  echo -e '\033]2;Some Title\007'
  

  (see this stackexchange entry)