C’è un bug in Ubuntu 18.04 e 18.04 che fa sì che il dock/launcher di Ubuntu (estensione Gnome Shell installata di default in Ubuntu) venga mostrato nella schermata di blocco in alcuni casi. Inoltre, è possibile chiudere le applicazioni in esecuzione o rimuovere icone dal dock di Ubuntu, anche se lo schermo è bloccato.
E non è tutto. Dopo l’accesso, il dock è opaco (anche se ha la trasparenza di default), e passando il mouse sopra il dock lo fa ridimensionare.
Il bug è stato segnalato numerose volte – eccone alcuni:
- https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1769383
- https://github.com/micheleg/dash-to-dock/issues/641
- https://github.com/micheleg/dash-to-dock/issues/726
- https://github.com/micheleg/dash-to-dock/issues/649
Sono stato uno degli utenti che hanno riscontrato questo bug, ma non sono sicuro di cosa lo stia attivando.
Questo è uno screenshot del bug (screenshot di naisanza – GitHub, dato che non sono riuscito a scattare una foto), con il dock di Ubuntu spostato nella parte inferiore dello schermo:
Un altro screenshot, questa volta preso sul mio desktop Ubuntu , mostra come la dock diventa opaca dopo aver riscontrato questo bug e aver effettuato il login:
Ci sono buone notizie per coloro che stanno riscontrando questo bug. Ubuntu Dock è stato aggiornato in Ubuntu 19.04 (Disco Dingo) con l’opportuna correzione. La correzione verrà probabilmente rilasciata su Ubuntu 18.04 e 18.10. Se non vuoi aspettare, puoi applicare la patch che corregge il dock di Ubuntu che viene visualizzato sulla schermata di blocco sul desktop di Ubuntu 18.04 o 18.10.
La patch che risolve l’estensione Dock di Ubuntu che appare sulla schermata di blocco di GDM3 è disponibile su GitHub. Per scaricare e applicare questa patch in Ubuntu 18.04 o 18.10, è possibile utilizzare questi comandi (qui è disponibile un collegamento diretto alla patch ):
wget https://patch-diff.githubusercontent.com/raw/micheleg/dash-to-dock/pull/843.patch
sudo patch /usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/extension.js < 843.patch
Se il pacchetto gnome-shell-extension-ubuntu-dock riceve un aggiornamento, questa patch verrà sovrascritta. Ma questo non dovrebbe essere un problema, dal momento che i futuri aggiornamenti della dock di Ubuntu probabilmente includeranno questa soluzione.
In caso vorreste ritornare indietro con la versione precedente afflitta dal bug esegui la seguente procedura:
sudo apt install --reinstall gnome-shell-extension-ubuntu-dock
