blob: 6357760d87793914240111830a122044a01213ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
! xterm config
! after changing contents, run xrdb -merge ~/.Xresources
! or restart X
! https://codeberg.org/merazi/xterm-config/raw/branch/xterm-config/Xresources
! https://scarygliders.net/2011/12/01/customize-xterm-the-original-and-best-terminal
! https://fak3r.com/2006/02/23/howto-usable-xterm-configuration
! http://www.futurile.net/2016/06/14/xterm-setup-and-truetype-font-configuration
! https://blog.rot13.org/2010/03/change-font-size-in-xterm-using-keyboard.html
!
! retabell 20221217
! Use a truetype font and size
xterm*faceName: Hack
xterm*faceSize: 14
!xterm*renderFont: true
xterm.*.cursorBlink: true
xterm.*.loginShell: true
! improve colors
xterm.*.colorMode: on
xterm.*.dynamicColors: on
! colors
xterm.*.foreground: white
xterm.*.background: black
! copy & paste like the gnome shell
xterm.VT100.translations: #override \n\
Ctrl Shift <Key>C: copy-selection(CLIPBOARD) \n\
Ctrl Shift <Key>V: insert-selection(CLIPBOARD) \n\
Ctrl <Key>minus: smaller-vt-font() \n\
Ctrl <Key>plus: larger-vt-font()
! make the alt key behave normally
xterm.*.metaSendsEscape: true
! scrollback history
xterm.*.saveLines: 4096
! enable scrollbar
xterm*ScrollBar: true
xterm*rightScrollBar: true
! smooth scrolling
xterm*scrollTtyOutput: false
! give xterm a voice
xterm.*.bellIsUrgent: true
|