Add a function to set the terminal title

1 files changed, 4 insertions, 0 deletions

diff --git a/mkshrc b/mkshrc
index 2aac943..0618b8a 100644
--- a/mkshrc
+++ b/mkshrc
@@ -313,6 +313,10 @@ setperms() {
 	find "$2" -type d -print0 | xargs -0 chmod "$dir_perms"
 }
 
+set_title() {
+	printf $'\033]0;'"%s"$'\007' "$1"
+}
+
 timestamp() {
 	date +%m.%d.%y_%H.%M.%S
 }