Windows Terminal è, a mio parere, uno dei migliori terminali disponibili per Windows. E’ anche molto configurabile, ma certe cose per qualche motivo continuano a sfuggirmi. Una di queste è l’attivazione dei caratteri in grassetto nel terminale.
Così, per non continuare a scordarmi come si fa, ho pensato di scrivere questo breve tutorial.
1° passaggio
Col terminale aperto, accedere alle impostazioni premendo + .
A questo punto, premere sul profilo desiderato per modificarne le impostazioni (l’elenco dei profili lo trovate nel menu sulla sinistra, come ultimo elemento)
2° passaggio
Nelle impostazioni del profilo, sotto la sezione “Impostazioni aggiuntive”, selezionare
la voce “Aspetto”.
3° passaggio
Cercare l’impostazione “Formattazione testo” e alla voce “Stile testo marcato”, dal menu a tendina, scegliamo “Carattere grassetto”.
Fine. Godetevi il vostro terminale!