2
votes
0answers
18 views

How to display halfwidth Unicode characters in gnome-terminal etc

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 ...
2
votes
1answer
42 views

How to select block of text in xterm

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 ...
14
votes
3answers
2k views

Which terminal type am I using?

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 3.4.1.1. Does this mean I am ...
0
votes
1answer
287 views

How to change keyboard speed in the Linux console? [duplicate]

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 ...
7
votes
2answers
3k views

Effect of $LANG on terminal

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 ...
4
votes
1answer
399 views

Configurable tab-bar, or rich-featured terminal emulator

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 ...