I found two ways to change the TTY font:
dpkg-reconfigure console-setup
editing /etc/default/console-setup
Either way I'm limited to the fonts in /usr/share/consolefonts (I'm using Debian).
- How do I install new console fonts?
- What are the requirements for this kind of font?
- ... in particular: would it be possible to use Anonymous Pro as console font?