5 ms·

You're brave using custom fonts in Word. Fine for personal use, a nightmare if the document is ever shared. And what terminals allow you to change font from the

by sago 9y ago

You're brave using custom fonts in Word. Fine for personal use, a nightmare if the document is ever shared. And what terminals allow you to change font from the program writing to stdout?

LukeShu 9y ago
xterm $ printf '\e]50;%s\a' '-your-x11-font-spec' # for example: $ printf '\e]50;%s\a' '-misc-dejavu serif-*'
- sago 9y ago
  That's very cool, I had no idea.