Обновление настроек настройки pip

Чтобы ответить вам прямо - нет, не так просто, потому что gnome-shell имеет глобальное меню единства.

Однако имеется доступный глобальный единый патч gnome-shell galome-shell (патч ниже).

Что касается повторного отображения минимизации и закрытия оформления обратно в gnome-shell - просто используйте gconf-editor и измените отображаемый ключ - обратите внимание на положение кнопок с минимальным увеличением - максимизировать

Компилировать глобальное меню Gnome-Shell

sudo apt-get install git-core valac-0.12 libvala-0.12-dev libgtk-3-dev gobject-introspection libgirepository1.0-dev libgtk2.0-dev autotools-dev automake autoconf intltool libtool

cd
mkdir -p globalmenu
cd globalmenu
wget http://gnome2-globalmenu.googlecode.com/files/gnome-globalmenu-0.9.alpha5.tar.bz2
tar -xvf gnome-globalmenu-0.9.alpha5.tar.bz2

git clone git://github.com/gnome-globalmenu/gnome-globalmenu.git

cd gnome-globalmenu
git checkout gnome-3
cp ../gnome-globalmenu-0.9.alpha5/src/{module.c,header.h,header-gtk2.h} ./src

autoreconf --force --install --verbose
./autogen.sh --prefix=/usr
make
sudo make GTK2_MODULES_DIR=/usr/lib/gtk-2.0/modules GTK3_MODULES_DIR=/usr/lib/gtk-3.0/modules GLIB_COMPILE_SCHEMAS=/bin/true install
sudo glib-compile-schemas /usr/share/glib-2.0/schemas


sudo rm /usr/share/gnome-shell/extensions/GlobalMenu@globalmenu.org/{metadata.json,extension.js,stylesheet.css}
cd
wget http://webupd8.googlecode.com/files/GlobalMenu-globalmenu.org.tar.gz
tar -xvf GlobalMenu-globalmenu.org.tar.gz
sudo cp GlobalMenu@globalmenu.org/{metadata.json,extension.js,stylesheet.css} /usr/share/gnome-shell/extensions/GlobalMenu@globalmenu.org/
sudo ln -sfv /usr/lib/gtk-2.0/modules/libglobalmenu-gtk2.so /usr/lib/gtk-2.0/modules/libglobalmenu-gtk.so

открыть инструмент GNOME Tweak Tool (установить его в Ubuntu: sudo apt-get install gnome-tweak-tool) и включить gconf-editor [ ! d3]

Теперь откройте Dash и найдите приложения для запуска

Добавьте запись gnome-globalmenu-manager

Завершите установку:

sudo cp ~/globalmenu/gnome-globalmenu/globalmenu.sh /etc/profile.d/
sudo chmod +x /etc/profile.d/globalmenu.sh

Даш

0
задан 21 March 2018 в 21:16

0 ответов

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

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