dotfiles

commit a0c24bf296629a58ddd9b3bf88801451ead5ed82
parent fd287e2775cf5ae52668a7d0b4aa0421c7bc6648
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Tue,  8 Nov 2016 18:53:52 +0100

(m) Be kind to future me

Document where those are coming from.

Diffstat:
M
.bashprompt
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git 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"
 }