Làm cách nào tôi có thể cập nhật tiện ích mở rộng Gnome Shell từ dòng lệnh?

Thỉnh thoảng tôi nhận được tin nhắn cho tôi biết có một bản cập nhật cho một trong các tiện ích mở rộng Gnome Shell của tôi, hướng tôi đến https://extensions.gnome.org/local/ nơi tôi có thể kích hoạt cập nhật qua giao diện web.

Tôi thà gọi cập nhật từ dòng lệnh, tương tự như gọi apt update && apt upgrade. Tôi có thể làm cái này như thế nào?

Các ý kiến ​​về bài viết omgubfox.co.uk này liệt kê hai cách có thể:

1. Các cài đặt GNOME Shell Extension · Github , một kịch bản bash để cài đặt và tìm kiếm mở rộng từ extensions.gnome.org . Cài đặt nó với

   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/

   Cập nhật các tiện ích mở rộng 23và 42cho Gnome Shell 3.18.4với

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

   Cập nhật tất cả các tiện ích mở rộng với

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

   Tôi không thể kiểm tra nó, nhưng tôi khá chắc chắn rằng nó có thể viết được.

2. Nếu bạn đã cài đặt tiện ích mở rộng của mình bằng cách nhân bản repit git của chúng sang /path/bạn, bạn chỉ có thể git pulllặp lại từng cái một:

   for i in /path/*; do
     git -C"$i" pull
   done

   Sau đó, bạn cần tải lại Gnome Shell bằng Alt+ F2và rhoặc lệnh gnome-shell -r.

Tập lệnh quản lý phần mở rộng gnomeshell của Nicolas Bernaerts cho phép cài đặt và xóa phần mở rộng Gnome Shell trên toàn hệ thống và trong không gian người dùng.

Đây là cách bạn sẽ cài đặt nó:

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

Điều này làm cho nó có sẵn cho mọi người dùng: (bên cạnh các lệnh Gnome tương tự)

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

Các Gnome Shell - Quản lý Extensions từ console bài đăng blog giải thích một cách chi tiết làm thế nào nó được sử dụng. Để cập nhật một phần mở rộng, bạn cần thêm --version latestvào lệnh.

Hai điểm khác biệt chính, về mặt kỹ thuật, đối với trình cài đặt phần mở rộng gnome-shell-shell của Ian Brunelli là bạn có thể thực hiện cài đặt trên toàn hệ thống và sử dụng wgetthay vì curltải xuống các tiện ích mở rộng.