diff options
| author | Paul Wassi <p.wassi@gmx.at> | 2018-08-23 09:24:43 +0200 |
|---|---|---|
| committer | Jo-Philipp Wich <jo@mein.io> | 2018-12-18 11:28:12 +0100 |
| commit | 87a6aadfd558a8ea4477c85f55e617e5cc7e77ea (patch) | |
| tree | 33b5b85d5c08248599bb2e3b3d16d1285b1acf24 /tools/flex/patches | |
| parent | 40ca437c325d6a88ff05033a7817bdfbf962e9a2 (diff) | |
| download | upstream-87a6aadfd558a8ea4477c85f55e617e5cc7e77ea.tar.gz upstream-87a6aadfd558a8ea4477c85f55e617e5cc7e77ea.tar.bz2 upstream-87a6aadfd558a8ea4477c85f55e617e5cc7e77ea.zip | |
base-files: provide more tolerant xterm detection
Set the window title not only in "xterm", but also in
e.g. "xterm-256color", "xterm-color", etc.
The case statement is taken from Debian / Ubuntu.
Signed-off-by: Paul Wassi <p.wassi@gmx.at>
(backported from 1bd6b91e0f9f53f13b5a9fa2939674012fe7193f)
Diffstat (limited to 'tools/flex/patches')
0 files changed, 0 insertions, 0 deletions