Settimana scorsa, tra le altre, ho aggiornato a Jammy Jellyfish anche una macchina desktop che uso con interfaccia grafica. Questo sistema esce con GNOME 42 e, come prima cosa, ho dovuto aggiornare a mano l’unica estensione di cui davvero non riesco a fare a meno: Dash to Panel.
Per chi non la conoscesse, questa estensione combina le funzionalità della barra in alto della interfaccia di GNOME con la barra detta application launcher, in modo da formare una unica entità, normalmente in basso allo schermo, simile alla taskbar familiare a chi usa Windows.
Se qualche lettore sta già storcendo il naso, pensando che questo sia un sacrilegio, aggiungo che io detesto la barra in alto nelle interfacce grafiche dei sistemi operativi, ma la ragione di questa insofferenza non è estetica. Per spiegare le mie ragioni, è necessaria una piccola digressione