I decided to create a small bash script to change the title of my current terminal window in bash on my Mac:
change_title:
#!/bin/bash
echo -ne " 33]0;" $* " 07"
The script then runs as:
change_title Your title goes here.
I decided to create a small bash script to change the title of my current terminal window in bash on my Mac:
change_title:
#!/bin/bash
echo -ne " 33]0;" $* " 07"
The script then runs as:
change_title Your title goes here.