2024-06-19 09:36:49 +00:00
|
|
|
*foreground: gray90
|
|
|
|
|
*background: black
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! XTerm
|
|
|
|
|
! /usr/share/X11/app-defaults/XTerm{,-color}
|
|
|
|
|
! FIXME *XTerm*font: 9x15
|
|
|
|
|
*XTerm*saveLines: 10000
|
|
|
|
|
*XTerm*HiForeColor: white
|
|
|
|
|
*XTerm*HiBackColor: #c06077
|
|
|
|
|
|
|
|
|
|
! FIMXE xterm*font: *-fixed-*-*-*-18-*
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! from https://ubuntuplace.info/questions/819/comment-changer-la-taille-de-police-par-defaut-de-xterm
|
|
|
|
|
! change size with <ctrl>+<+> and <ctrl>+<->
|
|
|
|
|
!FIXME *XTerm*VT100.translations: #override \n\
|
|
|
|
|
! Ctrl <Key> minus: smaller-vt-font() \n\
|
|
|
|
|
! Ctrl <Key> plus: larger-vt-font()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! from https://wiki.archlinux.org/index.php/Color_output_in_console#Terminal_emulators
|
|
|
|
|
! Black + DarkGrey
|
|
|
|
|
*color0: #000000
|
|
|
|
|
*color8: #555753
|
|
|
|
|
! ! DarkRed + Red
|
|
|
|
|
*color1: #ff6565
|
|
|
|
|
*color9: #ff8d8d
|
|
|
|
|
! ! DarkGreen + Green
|
|
|
|
|
*color2: #93d44f
|
|
|
|
|
*color10: #c8e7a8
|
|
|
|
|
! ! DarkYellow + Yellow
|
|
|
|
|
*color3: #eab93d
|
|
|
|
|
*color11: #ffc123
|
|
|
|
|
! ! DarkBlue + Blue
|
|
|
|
|
*color4: #204a87
|
|
|
|
|
*color12: #3465a4
|
|
|
|
|
! ! DarkMagenta + Magenta
|
|
|
|
|
*color5: #ce5c00
|
|
|
|
|
*color13: #f57900
|
|
|
|
|
! !DarkCyan + Cyan (both not tango)
|
|
|
|
|
*color6: #89b6e2
|
|
|
|
|
*color14: #46a4ff
|
|
|
|
|
! ! LightGrey + White
|
|
|
|
|
*color7: #cccccc
|
|
|
|
|
*color15: #ffffff
|
