1 files changed, 6 insertions, 0 deletions
diff --git a/.bashprompt b/.bashprompt
index 2f90c2a..038422b 100644
--- a/.bashprompt
+++ b/.bashprompt
@@ -38,6 +38,12 @@ __set-title ()
         fi
     fi
 
+    # Cf. console_codes(4):
+    #
+    #   ESC ] 2 ; txt ST        Set window title to txt.
+    #
+    # ST is a "string terminator", either "ESC \" or "BEL".
+
     echo -ne "\E]2;${title}\a"
 }