sto ri-esaminando a distanza di mooolti anni, dei vecchi script in cui
ripulivo lo schermo (forse solo dai colori usati in precedenza)
richiamando '$Reset' che, in pratica, usava il comando in oggetto.
Oggi quel comando non viene più riconosciuto e non ne trovo traccia in
man tput.