I'm wanting to set up vim with conceal to display the unicode characters U+2329 (〈) and U+232A (〈) in place of < and > when used to indicate type parameters. These are half-width characters that ...
In some terminal emulators like gnome-terminal or terminator, I am able to select a block of text by pressing Ctrl and then clicking the mouse and dragging. This is useful, let's say, to select an ...
I have tested this with both Ubuntu 12.04 and Debian 7. When I do echo $TERM I get xterm But if I use the dropdown menu "help" > "about" then it says gnome terminal 184.108.40.206. Does this mean I am ...
When I press Ctrl + Alt + F1 the desktop environment disappears and a terminal window appears. Pressing Ctrl + Alt + F7 brings me back to DE. This terminal is useful when the DE hangs for some reason ...
I'm trying to learn how the $LANG variable behaves with gnome-terminal (and its character encoding preference option). I've been using iso8859-1 (latin1) as my main character-set and all my filenames ...
Is there any terminal emulator where the user can choose the position of the tab bar? I want to have the tab bar on the left, with vertically aligned tabs, or configure the tab-bar to be multi-line. I ...