Skip to content

Instantly share code, notes, and snippets.

@jodoherty
Last active February 10, 2025 15:39
Show Gist options
  • Save jodoherty/db09c138a7d5f2bba07e134ce19c8005 to your computer and use it in GitHub Desktop.
Save jodoherty/db09c138a7d5f2bba07e134ce19c8005 to your computer and use it in GitHub Desktop.
uxterm customization
UXTerm.termName: xterm-256color
!UXTerm*font: -misc-fixed-medium-r-semicondensed-*-13-*-*-*-*-*-iso10646-1
UXTerm*font: -gnu-unifont-medium-r-normal-*-16-*-*-*-*-*-iso10646-1
!UXTerm*reverseVideo: true
UXTerm*loginShell: true
UXTerm*visualBell: true
UXTerm*visualBellLine: true
UXTerm*altSendsEscape: true
UXTerm*metaSendsEscape: true
UXTerm*selectClipboard: true
UXTerm*VT100*translations: #override \
Ctrl Shift <Key>C: copy-selection(SELECT) \n\
Ctrl Shift <Key>V: insert-selection(SELECT)\n\
Alt <Key>Return: insert-eight-bit()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment