Не удалось установить расширения Gnome-Shell: отсутствующий разделитель

Я дам тот же ответ, который я дал в stackoverflow:

Вы можете использовать wm_overrideredirect, а затем сделать полный экран пользовательского интерфейса. Это приведет к удалению всех оконных украшений, поэтому закрыть окно невозможно. Если этого недостаточно, в качестве последнего шага вы можете сделать глобальный захват. При этом вы эффективно контролируете все, что они могут сделать.

Будьте очень осторожны в кодировании глобальных захватов - убедитесь, что вы можете ssh в это поле, чтобы убить процесс, иначе вы можете эффективно отказаться от обслуживания ваша коробка.

1
задан 10 May 2012 в 07:17

2 ответа

о расширениях gnome-shell, лучше установить gnome-tweak-tool, а затем открыть https://extensions.gnome.org в веб-браузере и добавить свои любимые расширения одним щелчком мыши!

0
ответ дан 25 May 2018 в 12:25

о расширениях gnome-shell, лучше установить gnome-tweak-tool, а затем открыть https://extensions.gnome.org в веб-браузере и добавить свои любимые расширения только одним нажмите!

0
ответ дан 7 August 2018 в 19:05

Другие вопросы по тегам:

Похожие вопросы: