PRÁVĚ jsem na to přišel pro vydání CentOS Linux 7.5.1804, dnes je 6. října 2018.
Lidé, kteří vytvářejí CentOS, to tedy značně usnadnili.
yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner
Poté byste jej měli najít ve svých aplikacích -> Nástroje -> Nástroj Tweak -> Rozšíření -> "Žádný horký roh nahoře". Pokud je k dispozici nástroj tweak, ale rozšíření není, zkuste restartovat. Potřeboval jsem restartovat, ale výukový program, který jsem našel, říkal, že to není potřeba.
Pokud v části Rozšíření nástroje Tweak Tool nenajdete „Žádný horký levý horní roh“, klikněte na „Získat další rozšíření“ a vyhledejte „Žádný horký levý horní roh“. Stáhněte si ji a přidejte do sekce Rozšíření a máte hotovo.
Chvíli to trvalo, ale našel jsem viníka! Žije v /usr/share/gnome-shell/js/ui/layout.js Stačí vyhledat funkci níže a zakomentovat kód uvnitř. Poté zadejte Alt+F2 a zadejte restart . Trvá to sekundu nebo dvě a resetuje pouze gnome. Možná budete muset provést opětovné bezdrátové přihlášení a opětovné přihlášení systému, ale všechny vaše aplikace zůstanou živé.
_toggleOverview: function() {
//if (this._monitor.inFullscreen)
return;
/*if (Main.overview.shouldToggleByCornerOrButton()) {
this._rippleAnimation();
Main.overview.toggle();
}*/
},
Moje odpověď se týká gnome 3.22, ale stále píšu tuto odpověď v naději, že by to mohlo někomu pomoci. Ztratil jsem hodiny zkoušením různých navrhovaných nápadů, než se mi to nakonec podařilo udělat správným způsobem.
Najděte svou verzi prostředí Gnome:
gnome-shell --version
Stáhněte si rozšíření no-topleft-hot-corner z rozšíření gnome, jeho ID je aktuálně 118:https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
V mém případě byl zip:https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip
Rozbalte zip na správném místě, také jsem potřeboval změnit oprávnění pro jeden ze souborů.
$ 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
Po instalaci restartujte gnome
$ gnome-shell --replace &
Poté restartujte také nástroj Tweak a aktivujte v něm rozšíření.
Poznámka:Nejprve jsem zkusil nainstalovat rozšíření v uživatelském prostoru, což nefungovalo. Pak jsem to zkusil nainstalovat do systémového prostoru a nakonec jsem to zprovoznil.