diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2016-11-08 18:53:52 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2016-11-08 18:55:03 +0100 |
| commit | a0c24bf296629a58ddd9b3bf88801451ead5ed82 (patch) | |
| tree | 1ee6182b2d3064354ef5cf7966ce54a0b614a97a | |
| parent | fd287e2775cf5ae52668a7d0b4aa0421c7bc6648 (diff) | |
| download | dotfiles-a0c24bf296629a58ddd9b3bf88801451ead5ed82.tar.xz | |
(m) Be kind to future me
Document where those are coming from.
| -rw-r--r-- | .bashprompt | 6 |
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" } |