Для того, чтобы изменить шрифт сделал изменение тут:
/home/username/.putty/sessions редактирую нужный сервер и ставлю FontName=Noto Mono 13
Блог об IT для профессионалов и энтузиастов: администрирование, сети, операционные системы и hardware.
Для того, чтобы изменить шрифт сделал изменение тут:
/home/username/.putty/sessions редактирую нужный сервер и ставлю FontName=Noto Mono 13