Saya HANYA menemukan ini untuk rilis CentOS Linux 7.5.1804, hari ini 6 Oktober 2018.
Jadi ini menjadi jauh lebih mudah oleh orang-orang yang membuat CentOS.
yum install gnome-tweak-tool gnome-shell-extension-no-hot-corner
Kemudian, Anda harus menemukannya di Applications -> Utilities -> Tweak Tool -> Extensions -> "No topleft hot corner". Jika alat tweak ada tetapi ekstensi tidak ada, coba reboot. Saya perlu memulai ulang, tetapi tutorial yang saya temukan mengatakan bahwa saya tidak perlu melakukannya.
Jika Anda tidak menemukan "No topleft hot corner" di bagian Extensions pada Tweak Tool, Klik "Get More Extensions" dan cari "No topleft hot corner". Unduh dan tambahkan di bagian Ekstensi dan selesai.
Butuh beberapa saat tetapi saya menemukan pelakunya! Ia hidup dalam /usr/share/gnome-shell/js/ui/layout.js Cari saja fungsi di bawah ini dan beri komentar kode di dalamnya. Setelah itu ketik Alt+F2 dan ketik restart . Butuh satu atau dua detik dan hanya akan mengatur ulang gnome. Anda mungkin harus melakukan login ulang nirkabel dan login ulang sistem, tetapi semua aplikasi Anda tetap aktif.
_toggleOverview: function() {
//if (this._monitor.inFullscreen)
return;
/*if (Main.overview.shouldToggleByCornerOrButton()) {
this._rippleAnimation();
Main.overview.toggle();
}*/
},
Jawaban saya berkaitan dengan gnome 3.22 tetapi saya masih menulis jawaban ini dengan harapan dapat membantu seseorang. Saya kehilangan waktu mencoba berbagai ide yang disarankan hingga akhirnya berhasil melakukannya dengan cara yang benar.
Temukan versi shell Gnome Anda:
gnome-shell --versi
Unduh ekstensi no-topleft-hot-corner dari ekstensi gnome, ID-nya saat ini 118:https://extensions.gnome.org/extension/118/no-topleft-hot-corner/
Dalam kasus saya zip adalah:https://extensions.gnome.org/extension-data/nohotcorner%40azuri.free.fr.v16.shell-extension.zip
Buka kemasan zip di tempat yang benar, saya juga perlu mengubah izin untuk salah satu file.
$ 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
Mulai ulang gnome setelah penginstalan
$ gnome-shell --replace &
Kemudian mulai ulang juga alat Tweak dan aktifkan ekstensi di dalamnya.
Catatan:Saya pertama kali mencoba memasang ekstensi di ruang pengguna, yang tidak berhasil. Kemudian saya mencoba menginstalnya di ruang sistem, dan akhirnya berhasil.