Il giorno dom 11 ott 2020 alle ore 00:00 Ennio-Sr <nasr.la...@tin.it> ha scritto:
> 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. > Non mi risulta, o quantomeno mi funziona perfettamente. Ho il tput fornito da ncurses-bin 6.1+20181013-2+deb10u2. -- Lorenzo Breda