Je ne pense pas qu'il existe un outil largement utilisé. Essayez psfedit. Il existe également NAFE qui vous permet de convertir entre les polices de la console et une représentation en pixels ASCII, ou Cse pour modifier une police à partir de la console. Je n'en ai utilisé aucun, donc je ne les recommande pas particulièrement, je mentionne juste leur existence.
Quel est votre outil d'enregistrement d'écran préféré pour Linux ?