CentOS Linux リリース 7.5.1804 についてこれを理解したところです。今日は 2018 年 10 月 6 日です。
そのため、CentOS を作成している人々によって、これは非常に簡単になりました。
yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner
次に、アプリケーション -> ユーティリティ -> 微調整ツール -> 拡張機能 -> 「左上のホット コーナーなし」で見つける必要があります。調整ツールはあるが拡張機能がない場合は、再起動してみてください。再起動する必要がありましたが、見つけたチュートリアルでは再起動する必要はないと書かれていました。
Tweak Tool の Extensions セクションに「No topleft hot corner」が見つからない場合は、「Get More Extensions」をクリックして「No topleft hot corner」を検索します。ダウンロードして拡張機能セクションに追加すれば完了です。
時間はかかりましたが、犯人を見つけました！ /usr/share/gnome-shell/js/ui/layout.js 内に存在します 以下の関数を探して、内部のコードをコメントアウトしてください。その後、Alt+F2 と入力します。 restart と入力します . 1 ～ 2 秒かかり、gnome のみがリセットされます。ワイヤレスの再ログインとシステムの再ログインが必要になる場合がありますが、すべてのアプリケーションは有効なままです。
_toggleOverview: function() {
//if (this._monitor.inFullscreen)
return;
/*if (Main.overview.shouldToggleByCornerOrButton()) {
this._rippleAnimation();
Main.overview.toggle();
}*/
},
私の答えはgnome 3.22に関するものですが、誰かに役立つことを期待してまだこの答えを書いています。さまざまな提案されたアイデアを試して何時間も無駄にしましたが、最終的に正しい方法でそれを行うことができました.
Gnome シェルのバージョンを確認してください:
<ブロック引用>gnome-shell --version
gnome 拡張機能から no-topleft-hot-corner 拡張機能をダウンロードします。その ID は現在 118 です:https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
私の場合、zip は https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip でした
zip を正しい場所に解凍します。ファイルの 1 つのアクセス許可も変更する必要がありました。
$ 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
インストール後に gnome を再起動します
$ gnome-shell --replace &
次に、Tweak ツールも再起動し、その中で拡張機能を有効にします。
注:最初に拡張機能をユーザー空間にインストールしようとしましたが、うまくいきませんでした。次に、システム空間にインストールしてみましたが、ついに動作するようになりました.