GNU/Linux >> Linux Esercitazione >  >> Linux

Cambia la dimensione del carattere del terminale con C++

Almeno per xterm , è possibile modificare il carattere corrente stampando una sequenza di escape. La sintassi è ESCAPE ] 50 ; FONTNAME BEL .

Ecco (una versione abbreviata di) uno script che uso per questo; Lo chiamo xfont (quello vero ha più controllo degli errori):

#!/usr/bin/perl

use strict;
use warnings;

print "\e]50;@ARGV\a";

Non so quali altri emulatori di terminale riconoscano questa sequenza. In particolare, trovo che non funzioni sotto screen , anche se screen la sessione è in un xterm finestra.

Tieni presente che devi specificare il nome del font ("10x20" , "9x15" ), non le sue dimensioni.

EDIT:dovrei prestare maggiore attenzione ai tag. In C++, sarebbe qualcosa del tipo:

std::cout << "\x1b]50;" << font_name << "\a" << std::flush;

AGGIORNAMENTO:Con xterm , questo non funzionerà se utilizzi i caratteri TrueType. Inoltre, Dúthomhas suggerisce in un commento:

So che è vecchio, ma tutte le stringhe terminfo dovrebbero essere stampate usando putp() [o tputs() ], anche in C++.

putp( (std::string{ "\33]50;" } + font_name + "\a").c_str() );


Il meglio che puoi fare è usare il carattere in grassetto. Il terminale emula il vero terminale basato su testo, quindi non supporta caratteri diversi contemporaneamente.


Linux
  1. Cambiare il carattere della console in modalità testo?

  2. Cambia il titolo del terminale?

  3. Cambiare il colore di sfondo del terminale Gnome al volo?

  4. Aumentare la dimensione del carattere di Putty?

  5. Modifica la dimensione del carattere Terminale Ubuntu

Come modificare il tipo e la dimensione del carattere della console Linux

Come modificare il tipo di carattere, la dimensione e il colore del terminale LTS di Ubuntu 20.04

Come modificare il tipo di carattere, la dimensione e il colore del terminale Debian 10

Tre modi per modificare la dimensione del testo su Debian 10 Desktop

Come modificare il carattere e la dimensione del carattere del terminale su Debian

Come modificare il carattere e la dimensione del carattere del terminale Ubuntu