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
sumber
cron
pekerjaan untuk mengekstrak ekstensi shell dari/etc/shells
file, dan menjalankanapt-get
pembaruan untuk setiap nilai - hanya satu ide.Jawaban:
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
Perbarui ekstensi
23
dan42
untuk GNOME Shell3.18.4
denganPerbarui semua ekstensi dengan
Saya tidak bisa mengujinya, tapi saya cukup yakin itu bisa skrip.
Jika Anda menginstal ekstensi Anda dengan mengkloning repositori git
/path/
Anda, Anda dapatgit pull
repos satu demi satu:Setelah itu Anda perlu memuat ulang GNOME Shell dengan Alt+ F2dan
r
atau perintahgnome-shell -r
.sumber
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:
Ini membuatnya tersedia untuk setiap pengguna: (di samping perintah GNOME serupa)
The Gnome Shell - Manajemen Ekstensi dari konsol posting blog menjelaskan secara rinci bagaimana ia digunakan. Untuk memperbarui ekstensi, Anda perlu menambahkan
--version latest
perintah.Dua perbedaan utama, secara teknis, dengan installer gnome-shell-extension- Ian Ian Brunelli adalah bahwa Anda dapat melakukan instalasi di seluruh sistem dan menggunakan
wget
bukancurl
untuk mengunduh ekstensi.sumber