Bagaimana saya bisa memperbarui ekstensi Shell GNOME dari baris perintah?

14

Kadang-kadang saya mendapat pesan yang mengatakan ada pembaruan untuk salah satu ekstensi GNOME Shell saya, mengarahkan saya ke https://extensions.gnome.org/local/ di mana saya dapat memicu pembaruan melalui antarmuka web.

Saya lebih suka meminta pembaruan dari baris perintah, mirip dengan menelepon apt update && apt upgrade. Bagaimana saya bisa melakukan ini?

command-line updates gnome-shell-extension

— david.libremone
sumber

Anda dapat menggunakan cronpekerjaan untuk mengekstrak ekstensi shell dari /etc/shellsfile, dan menjalankan apt-getpembaruan untuk setiap nilai - hanya satu ide.

— The Pizza Overlord

1

@ThePizzaOverlord Ini cenderung bukan paket hal-hal dan ketika mereka, mereka sering digantikan oleh versi yang disediakan oleh Gnome secara langsung.

— Oli

Lihat masalah gnome-shell # 906 untuk permintaan menambahkan fitur ini.

— Peterino

9

Komentar pada artikel omgubuntu.co.uk ini mencantumkan dua cara yang mungkin:

The GNOME Shell Extension Installer · Github , sebuah bash script untuk menginstal dan mencari ekstensi dari extensions.gnome.org . Instal dengan

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/

Perbarui ekstensi 23dan 42untuk GNOME Shell 3.18.4dengan

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

Perbarui semua ekstensi dengan

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

Saya tidak bisa mengujinya, tapi saya cukup yakin itu bisa skrip.

Jika Anda menginstal ekstensi Anda dengan mengkloning repositori git /path/Anda, Anda dapat git pullrepos satu demi satu:
```
for i in /path/*; do
  git -C"$i" pull
done
```
Setelah itu Anda perlu memuat ulang GNOME Shell dengan Alt+ F2dan ratau perintah gnome-shell -r.

— pencuci mulut
sumber

0

The gnomeshell-ekstensi-mengelola naskah oleh Nicolas Bernaerts memungkinkan untuk menginstal dan menghapus GNOME Shell ekstensi kedua sistem-lebar dan dalam ruang pengguna.

Begini cara Anda menginstalnya:

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

Ini membuatnya tersedia untuk setiap pengguna: (di samping perintah GNOME serupa)

$ 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)

The Gnome Shell - Manajemen Ekstensi dari konsol posting blog menjelaskan secara rinci bagaimana ia digunakan. Untuk memperbarui ekstensi, Anda perlu menambahkan --version latestperintah.

Dua perbedaan utama, secara teknis, dengan installer gnome-shell-extension- Ian Ian Brunelli adalah bahwa Anda dapat melakukan instalasi di seluruh sistem dan menggunakan wgetbukan curluntuk mengunduh ekstensi.

— Peterino
sumber