Grazie, senza il tuo intervento non sarei mai riuscito a risolvere questo problema...

Ok, scusa il sarcasmo, ma non mi interessano gli altri modi per farlo (che per altro già conosco), ho chiesto semplicemente se è capitato anche a qualcun altro e se c'è una soluzione.

Al momento pur conoscendo il comando top, trovo più comodo cliccare sull'indicatore del monitor di sistema che ho sulla taskbar piuttosto che aprire un terminale e digitare il comando top.

Senza rancore eh... ciao