GNOME Shell uzantılarını komut satırından nasıl güncelleyebilirim?

14

Bazen, GNOME Shell uzantılarımdan biri için bir güncelleme olduğunu bildiren ve beni web arayüzü üzerinden bir güncellemeyi tetikleyebileceğim https://extensions.gnome.org/local/ adresine yönlendiren mesajlar alıyorum.

Aramaya benzer şekilde komut satırından güncellemeleri çağırmayı tercih ederim apt update && apt upgrade. Bunu nasıl yapabilirim?

command-line updates gnome-shell-extension

— david.libremone
kaynak

Bir faydalanabilirler crongelen kabuk uzantılarını ayıklamak için iş /etc/shellsdosyası ve koşmak apt-getsadece bir fikre - her değer için güncellemeler.

— Pizza Overlord

1

@ThePizzaOverlord Bunlar paketlenmemiş şeyler olma eğilimindedir ve olduklarında, genellikle doğrudan Gnome tarafından sağlanan sürümlerin yerini alırlar.

— Oli

Bu özelliği ekleme isteği için 903. gnome kabuğu sorununa bakın .

— Peterino

10

Bu omgubuntu.co.uk makalesindeki yorumlar iki olası yolu listeler:

GNOME Shell Extension Yükleyici · Github , bir bash komut dosyası yüklemek ve extensions.gnome.org uzantıları aramak için . İle yükleyin

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/

Uzantıları 23ve 42GNOME Kabuğu 3.18.4için

ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell

İle tüm uzantıları güncelleyin

gnome-shell-extension-installer --yes --update --restart-shell

Test edemedim, ama yazılabilir olduğundan eminim.

Uzantılarınızı git depolarını klonlayarak yüklediyseniz , depoları art arda /path/yapabilirsiniz git pull:
```
for i in /path/*; do
  git -C"$i" pull
done
```
Bundan sonra GNOME Kabuğunu Alt+ F2ve rya da komutla yeniden yüklemeniz gerekir gnome-shell -r.

— tatlı
kaynak

0

Gnomeshell-extension-yönetmek Nicolas BERNAERTS tarafından yazı hem sistem genelinde ve kullanıcı uzayda GNOME Shell Uzantıları yüklemek ve kaldırmak için izin verir.

Nasıl yükleyeceğiniz aşağıda açıklanmıştır:

wget https://raw.githubusercontent.com/NicolasBernaerts/ubuntu-scripts/master/ubuntugnome/gnomeshell-extension-manage
chmod 755 gnomeshell-extension-manage
sudo mv -iv gnomeshell-extension-manage /usr/local/bin/gnome-shell-extension-manage

Bu, her kullanıcı için kullanılabilir hale getirir: (benzer GNOME komutlarının yanında)

$ gnome-shell-extension-manage 
Install/remove extension from Gnome Shell Extensions site https://extensions.gnome.org/
Extension ID should be retrieved from https://extensions.gnome.org/extension/<ID>/extension-name/
Version installed will be targeted as the same as Gnome Shell or the next available one
Parameters are :
  --install               Install extension (default)
  --remove                Remove extension
  --user                  Installation/remove in user mode (default)
  --system                Installation/remove in system mode
  --version <version>     Force Gnome version (use 'latest' to force latest one)
  --extension-id <id>     Extension ID in Gnome Shell Extension site (compulsory)

Gnome Shell - konsol dan Uzantıları Yönetimi nasıl kullanıldığını blog post ayrıntılı olarak açıklar. Bir uzantıyı güncellemek --version latestiçin komuta eklemeniz gerekir .

Ian Brunelli'nin gnome-shell-extension-installer ile teknik olarak konuşan iki ana farkı, sistem genelinde kurulumlar yapabilmeniz ve uzantıları indirmek wgetyerine kullanmasıdır curl.

— Peterino
kaynak

Eğer kaçarsan gnome-shell-extension-installolarak sudo, bu sistem genelinde kuracaktır.

— eduncan911