Comment désactiver le coin actif 'Activités' dans le shell GNOME?

Le shell GNOME a la fonctionnalité dite "coin chaud", qui ouvre le tableau de bord si la souris touche le coin supérieur gauche de l'écran du moniteur.

Je veux que cette option soit désactivée. J’avais une extension du shell GNOME, mais le référentiel n’est plus trouvé:

git clone [email protected]/Ahrak/gnome-shell-extension-disable-hot-corners.git
fatal: repository '[email protected]/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist

Dans GNOME Tweak Tool, également appelé GNOME Tweaks (installez-le en exécutant sudo apt-get install gnome-tweak-tool), allez dans " Barre du haut " puis basculez "" Vue d'ensemble des activités "dans le coin ".

Un screencast:

Solution de frans essayée:

git clone github.com:HROMANO/nohotcorner.git [email protected]:
Permission denied (publickey).

Pourquoi ne pas installer directement l'extension gnome-shell? C'est beaucoup plus facile et fonctionne pour gnome dans toutes les distributions Linux.

https://extensions.gnome.org/extension/118/no-topleft-hot-corner/

Manière en ligne de commande

Si vous recherchez la gsettingscommande pour cette option " Coin dynamique de la vue d'ensemble des activités " dans GNOME Tweaks :

alors, la clé est gsettings set org.gnome.shell enable-hot-corners true|false

Exemple:

gsettings set org.gnome.shell enable-hot-corners true
gsettings set org.gnome.shell enable-hot-corners false

Prenez la réponse de k0pernikus mais nommez le répertoire correctement:

cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git [email protected]

travaille pour moi

Si vous avez déjà activé l'infrastructure pour utiliser Gnome-Extensions, vous pouvez simplement aller sur la page Web des extensions, rechercher des "coins brûlants" et cliquer sur le commutateur pour l'activer.

Voici un exemple de l'URL:

https://extensions.gnome.org/extension/118/no-topleft-hot-corner/

Voici une capture d'écran du bouton pour allumer:

Évidemment, cela suppose que vous avez déjà installé tous les éléments pour que les extensions fonctionnent à partir du site Web - voir la section sur l'installation d'extensions de shell à partir d'un navigateur ici:

https://linoxide.com/linux-how-to/install-gnome-shell-extensions-gui-cli/

L'option permettant de désactiver le "coin actif" n'était pas disponible sur la dernière version de gnome-tweak-tools jusqu'à la date de cette réponse. Je parviens donc à ajouter l'option avec une extension: disable extension hot corner

Il suffit de télécharger le fichier compressé et de lui ajouter l'option "Extensions", puis activez ou désactivez le "coin actif" à votre guise.

Je suis passé à No Topletft Hot Corner de HROMANO

cd ~/.local/share/gnome-shell/extensions/
git clone github.com:HROMANO/nohotcorner.git

Installez Gnome Tweak Tools avec:

sudo apt-get install gnome-tweak-tool.

Une fois installé, ouvrez l’outil Tweak Tool et accédez à l’option «Extensions marquées à gauche»:

Ensuite, allez à l’emplacement suivant ICI et téléchargez l’extension "No Top Left Corner" de Azuri. C'est une extension pour travailler avec Gnome-Tweak Tool. Lorsque vous téléchargez, il vous sera demandé la version du shell gnome que vous utilisez. Vous pouvez le vérifier avec la commande suivante:

gnome-shell --version.

Une fois téléchargé, retournez dans l'outil Tweak 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. Cela peut nécessiter un redémarrage. Pour moi, il a demandé un redémarrage, mais même avant cela, le hot corner était éteint.