ฉันจะอัปเดตส่วนขยายเชลล์ GNOME จากบรรทัดคำสั่งได้อย่างไร

บางครั้งที่ฉันได้รับข้อความบอกฉันมีการปรับปรุงสำหรับหนึ่งในส่วนขยายของ GNOME Shell ของฉันกำกับฉันไปhttps://extensions.gnome.org/local/ที่ฉันสามารถเรียกการอัปเดตผ่านเว็บอินเตอร์เฟส

apt update && apt upgradeผมค่อนข้างจะวิงวอนขออัปเดตจากบรรทัดคำสั่งที่คล้ายกับการเรียก ฉันจะทำสิ่งนี้ได้อย่างไร

ความคิดเห็นในรายการบทความ omgubuntu.co.uk นี้เป็นไปได้สองวิธี:

1. GNOME Shell ขยายการติดตั้ง· Githubเป็นสคริปต์ทุบตีในการติดตั้งและการค้นหาส่วนขยายจาก 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และ42สำหรับ GNOME Shell 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. หากคุณติดตั้งส่วนขยายของคุณโดยการโคลน repos git ของพวกเขา/path/คุณสามารถgit pullrepos หนึ่งหลังจากหนึ่ง:

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

   หลังจากนั้นคุณจำเป็นต้องโหลด GNOME Shell กับทั้งAlt+ F2และหรือคำสั่งrgnome-shell -r

gnomeshell ขยายการจัดการสคริปต์โดยนิโคลั Bernaerts ช่วยให้การติดตั้งและลบส่วนขยาย GNOME Shell ทั้งทั้งระบบและผู้ใช้ในพื้นที่

นี่คือวิธีที่คุณจะติดตั้ง:

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 ที่คล้ายกัน)

$ 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 เชลล์ - การบริหารจัดการของส่วนขยายจากคอนโซลบล็อกโพสต์อธิบายรายละเอียดวิธีการใช้งาน สำหรับการอัปเดตส่วนขยายคุณต้องเพิ่ม--version latestในคำสั่ง

ความแตกต่างที่สำคัญสองประการที่พูดถึงในทางเทคนิคต่อเครื่องมือติดตั้ง gnome-shell-extension-installของ Ian Brunelli คือคุณสามารถทำการติดตั้งได้ทั้งระบบและใช้wgetแทนcurlการดาวน์โหลดส่วนขยาย