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 git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git
fatal: repository 'git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist
Réponses:
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 nohotcorner@azuri.free.fr:
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/
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 nohotcorner@azuri.free.fr
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
nohotcorner@azuri.free.fr- au moins dans la version actuelle. L'extension ne démarre pas autrement et vous obtenez un message d'erreurGjs-WARNING **: JS ERROR: Could not load extension nohotcorner: Error: uuid "nohotcorner@azuri.free.fr" from metadata.json does not match directory name "nohotcorner"
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.