From a0c24bf296629a58ddd9b3bf88801451ead5ed82 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Tue, 8 Nov 2016 18:53:52 +0100
Subject: (m) Be kind to future me

Document where those are coming from.
---
 .bashprompt | 6 ++++++
 1 file changed, 6 insertions(+)

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"
 }
 
-- 
cgit v1.2.3