Je viens de comprendre cela pour la version 7.5.1804 de CentOS Linux, c'est le 6 octobre 2018 aujourd'hui.
Cela a donc été grandement facilité par les personnes qui créent CentOS.
yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner
Ensuite, vous devriez le trouver dans vos Applications -> Utilitaires -> Tweak Tool -> Extensions -> "Pas de coin chaud en haut à gauche". Si l'outil de réglage est là mais que l'extension ne l'est pas, essayez de redémarrer. J'avais besoin de redémarrer, mais le tutoriel que j'ai trouvé disait que je ne devrais pas en avoir besoin.
Si vous ne trouvez pas "Pas de coin chaud en haut à gauche" dans la section Extensions de l'outil Tweak, cliquez sur "Obtenir plus d'extensions" et recherchez "Pas de coin chaud en haut à gauche". Téléchargez-le et ajoutez-le dans la section Extensions et vous avez terminé.
J'ai mis du temps mais j'ai trouvé le coupable ! Il vit dans /usr/share/gnome-shell/js/ui/layout.js Recherchez simplement la fonction ci-dessous et commentez le code à l'intérieur. Ensuite, tapez Alt+F2 et tapez restart . Cela prend une seconde ou deux et ne réinitialisera que gnome. Vous devrez peut-être vous reconnecter sans fil et reconnecter le système, mais toutes vos applications restent actives.
_toggleOverview: function() {
//if (this._monitor.inFullscreen)
return;
/*if (Main.overview.shouldToggleByCornerOrButton()) {
this._rippleAnimation();
Main.overview.toggle();
}*/
},
Ma réponse concerne gnome 3.22 mais j'écris toujours cette réponse en espérant que cela pourrait aider quelqu'un. J'ai perdu des heures à essayer diverses suggestions d'idées jusqu'à ce que je réussisse finalement à le faire correctement.
Trouvez votre version de shell Gnome :
gnome-shell --version
Téléchargez l'extension no-topleft-hot-corner à partir des extensions gnome, son ID est actuellement 118 :https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Dans mon cas zip était :https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip
Décompressez le zip au bon endroit, j'ai également dû modifier les autorisations pour l'un des fichiers.
$ sudo mkdir -p "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo unzip -o ~/Downloads/[email protected] -d "/usr/share/gnome-shell/extensions/[email protected]"
$ sudo chmod 664 [email protected]/metadata.json
Redémarrez gnome après l'installation
$ gnome-shell --replace &
Ensuite, redémarrez également l'outil Tweak et activez l'extension qu'il contient.
Remarque :J'ai d'abord essayé d'installer l'extension dans l'espace utilisateur, ce qui n'a pas fonctionné. Ensuite, j'ai essayé de l'installer dans l'espace système et j'ai finalement réussi à le faire fonctionner.