Как я могу обновить расширения оболочки GNOME из командной строки?
Просто выполнил быстрый поиск с помощью aptitude search videosink и нашел:
gstreamer0.10-videosink
gstreamer0.10-videosink:i386
gstreamer1.0-videosink
gstreamer1.0-videosink:i386
Устанавливает ли какое-либо из этих способов?
sudo apt-get install gstreamer0.10-videosink
ИЛИ
[ f3]Я также искал «cluttervideo» и «clutter-video», но ничего не нашел.
7
задан d3vid
18 July 2017 в 13:29
поделиться
2 ответа
В комментариях к этой статье omgubuntu.co.uk перечислены два возможных способа:
Установщик расширения оболочки GNOME · Github, сценарий bash для установки и поиска расширений с extensions.gnome.org. Установите его с помощьюwget -O gnome-shell-extension-installer "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer"
chmod +x gnome-shell-extension-installer
sudo mv gnome-shell-extension-installer /usr/bin/
. Обновите расширения 23 и 42 для оболочки GNOME 3.18.4 с помощью ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell
. Я не смог проверить его, но я уверен, что он доступен для сценариев. Если вы установили свои расширения, клонировав свои репозитории git на /path/, вы можете просто git pull репозиции один за другим: for i in /path/*; do
git -C"$i" pull
done
После этого вам нужно перезагрузить оболочку GNOME с помощью Alt + F2 и r или команды gnome-shell -r. 2
ответ дан dessert
18 July 2018 в 10:06
поделиться
В комментариях к этой статье omgubuntu.co.uk перечислены два возможных способа:
Установщик расширения оболочки GNOME · Github, сценарий bash для установки и поиска расширений с extensions.gnome.org. Установите его с помощьюwget -O gnome-shell-extension-installer "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer"
chmod +x gnome-shell-extension-installer
sudo mv gnome-shell-extension-installer /usr/bin/
. Обновите расширения 23 и 42 для оболочки GNOME 3.18.4 с помощью ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell
. Я не смог проверить его, но я уверен, что он доступен для сценариев. Если вы установили свои расширения, клонировав свои репозитории git на /path/, вы можете просто git pull репозиции один за другим: for i in /path/*; do
git -C"$i" pull
done
После этого вам нужно перезагрузить оболочку GNOME с помощью Alt + F2 и r или команды gnome-shell -r. 2
ответ дан dessert
24 July 2018 в 19:30
поделиться