Come attivare il grassetto in Windows Terminal

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 CTRL + ,.

A questo punto, premere sul profilo desiderato per modificarne le impostazioni (l’elenco dei profili lo trovate nel menu sulla sinistra, come ultimo elemento)

Elenco dei profili nella mia installazione

2° passaggio

Nelle impostazioni del profilo, sotto la sezione “Impostazioni aggiuntive”, selezionare la voce “Aspetto”. Impostazioni aggiuntive

3° passaggio

Cercare l’impostazione “Formattazione testo” e alla voce “Stile testo marcato”, dal menu a tendina, scegliamo “Carattere grassetto”.

Foto dell'impostazione "stile testo marcato" impostata correttamente a "Carattere grassetto"

Fine. Godetevi il vostro terminale!