Installez Gnome Tweak Tools avec :
sudo apt-get install gnome-tweak-tool.
Une fois installé, ouvrez l'application tweak tool et allez dans l'option marquée extensions sur la gauche :
Ensuite, allez à l'endroit suivant ICI et téléchargez l'extension "No Top Left Corner" d'Azuri. Il s'agit d'une extension destinée à fonctionner avec l'outil Gnome-Tweak. Lorsque vous téléchargez, il vous sera demandé la version de gnome Shell que vous utilisez. Vous pouvez la vérifier avec la commande suivante :
gnome-shell --version.
Une fois téléchargé, retournez dans le Tweak Tool et à la fin de la liste des extensions se trouve un bouton Fichier pour ajouter d'autres extensions. Cliquez dessus, puis sélectionnez le fichier zip contenant l'extension Shell téléchargée.
C'est ça. Il se peut qu'un redémarrage soit nécessaire. Pour moi, cela a demandé un redémarrage, mais même avant cela, le coin chaud était éteint.