명령 행에서 그놈 쉘 확장을 어떻게 업데이트합니까?

때때로 그놈 쉘 확장 중 하나에 대한 업데이트가 있다는 메시지가 표시 되어 웹 인터페이스를 통해 업데이트를 트리거 할 수있는 https://extensions.gnome.org/local/ 로 안내합니다 .

오히려 호출과 비슷한 명령 줄에서 업데이트를 호출 apt update && apt upgrade합니다. 어떻게해야합니까?

이 omgubuntu.co.uk 기사 에 대한 의견은 두 가지 가능한 방법을 나열합니다.

1. 그놈 쉘 확장 설치 · 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와 42GNOME 셸에 대한 3.18.4과를

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

   로 모든 확장 업데이트

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

   테스트 할 수는 없었지만 스크립트 가능하다는 것이 확실합니다.

2. git repos를 복제하여 확장을 설치 한 경우 repos를 하나씩 차례로 /path/할 수 있습니다 git pull.

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

   그런 다음 Alt+ F2및 r또는 명령을 사용하여 그놈 쉘을 다시로드해야합니다 gnome-shell -r.

Nicolas Bernaerts 의 gnomeshell-extension-manage 스크립트를 사용하면 시스템 전체 및 사용자 공간에서 그놈 쉘 확장을 설치하고 제거 할 수 있습니다.

설치 방법은 다음과 같습니다.

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

이렇게하면 모든 사용자가 사용할 수 있습니다. (유사한 그놈 명령과 함께)

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

그놈 쉘 - 콘솔에서 확장의 관리 가 사용되는 방법을 블로그 게시물을 상세히 설명한다. 확장을 업데이트 --version latest하려면 명령 에 추가 해야합니다.

기술적으로 말하면 Ian Brunelli의 gnome-shell-extension-installer 와의 두 가지 주요 차이점 은 시스템 전체 설치를 수행 할 수 있고 확장을 다운로드하는 wget대신 사용한다는 것 curl입니다.