| commit | f1e3ed3b6e61b1c9a62c970ed7c9dbbe428f2e84 | |
| author | Olly Betts <olly@survex.com> | |
| Tue, 5 Jan 2016 03:48:36 +0000 (5 16:48 +1300) | ||
| committer | Olly Betts <olly@survex.com> | |
| Tue, 5 Jan 2016 03:48:36 +0000 (5 16:48 +1300) | ||
| tree | 68954195dbbbda4ae8013abe6b9db99263f220ad | treesnapshot (tar.gz zip) |
| parent | e768f29e319093c2a4e2d5a85ef1779fae37717b | commitdiff |
Don't try to set terminal title
gnome-terminal no longer supports -t, and there doesn't seem to be a
portable option for specifying the titles for terminals which do allow
it.
gnome-terminal no longer supports -t, and there doesn't seem to be a
portable option for specifying the titles for terminals which do allow
it.
| src/cavernlog.cc | diffblobblamehistory |