คำถามติดแท็ก gnome-shell-extension

ฉันจะติดตั้งส่วนขยายเชลล์ GNOME ได้อย่างไร เป็นไปได้ไหมที่จะอัปเดตลบและจัดการส่วนขยาย

96 software-installation  gnome-shell-extension  gnome-shell 

ใน Gnome Tweak Tool ฉันไม่สามารถเปลี่ยนธีมของ Shell ได้: Shell user-theme extension not enabledโฉบเหนือเครื่องหมายอัศเจรีย์แสดงเคล็ดลับเครื่องมือต่อไปนี้: ฉันใช้ Ubuntu 14.10 และติดตั้ง gnome-shell-extensions แล้ว

58 themes  gnome-shell  gnome-shell-extension 

ฉันจะซ่อนแถบด้านบนใน Gnome 3.28 Ubuntu 18.04 ได้อย่างไร ส่วนขยาย hide-top-bar สามารถติดตั้งได้อย่างไร?

35 gnome-shell  gnome-shell-extension  gnome-tweak-tool  top-bar 

เชลล์ GNOME มีคุณสมบัติที่เรียกว่า "มุมร้อนแรง" ซึ่งจะเปิดแดชบอร์ดถ้าเมาส์แตะที่มุมซ้ายบนของหน้าจอมอนิเตอร์ ฉันต้องการสิ่งนี้ที่ปิดการใช้งานฉันเคยมีส่วนขยายของ GNOME แต่ที่เก็บไม่พบอีกต่อไป: git clone git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git fatal: repository 'git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist

35 gnome-shell  gnome-shell-extension  activities-overview 

ฉันใช้ Ubuntu Gnome 13.10 กับ Gnome 3.10 ปัญหาของฉันคือทุกครั้งที่ฉันรีบูต OS ส่วนขยายของเชลล์ทั้งหมดจะถูกปิด สิ่งที่แปลกก็คือการตั้งค่าของพวกเขาจะถูกเก็บไว้ พวกเขาเพิ่งจะปิดและฉันต้องเปิดใช้งานพวกเขาทุกครั้ง ฉันจะทำให้พวกเขาขัดขืนได้อย่างไร ขอบคุณ ปรับปรุง วันนี้ Ubuntu 13.10 เปิดตัวอย่างเป็นทางการแล้วหลังจากฉันอัพเกรดปัญหาของฉันยังคงอยู่ที่นั่น นี่คือข้อมูลระบบของฉัน: $ uname -a Linux ubuntu-desktop 3.11.0-12-generic #19-Ubuntu SMP Wed Oct 9 16:20:46 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux ความคิดใด ๆ Sidenote - มีคนช่วยบอกฉันอย่างน้อยที่สุดการตั้งค่าสถานะของส่วนขยาย (เปิด / ปิด) ถูกเก็บไว้หรือไม่? ฉันลบส่วนขยายทั้งหมดแล้ว rm -r …

34 gnome-shell  gnome-shell-extension 

คำอธิบายปัญหา ฉันชอบเวิร์กสเปซขนาด 2 คูณ 2 ใน Ubuntu 16.04 แต่ดูเหมือนว่าฉันสามารถเลื่อนพื้นที่ทำงานขึ้นและลงเท่านั้น มีวิธีใดที่จะบรรลุเป้าหมายนี้ สิ่งที่ฉันได้ลอง ลองใช้ส่วนขยาย GNOME ที่ชื่อว่าWorkspace Grid (แนะนำที่นี่: ฉันสามารถมีพื้นที่ทำงาน 2x2 ใน GNOME 3 ได้ไหม ) แต่มันไม่ทำงานเพราะเมื่อฉันพยายามติดตั้งฉันไม่สามารถหาส่วนขยายการติดตั้งในGNOME Tweaksได้

31 18.04  workspaces  gnome-shell  gnome-shell-extension  workspace-switcher 

สมมติว่าฉันติดตั้งส่วนขยาย gnome-shell ของฉันสำเร็จแล้ว แต่ฉันต้องการที่จะปิดการใช้งาน / ยกเลิกการใช้งานจากบรรทัดคำสั่ง สิ่งนี้สามารถทำได้ผ่านการกระทำของเมาส์ AFAIK เท่านั้น ฉันจะทำสิ่งนั้นได้อย่างไร

27 command-line  gnome  gnome-shell-extension 

ฉันกำลังย้ายจาก Unity ไปยัง GNOME สิ่งหนึ่งที่ฉันขาดหายไปคือปุ่ม "แสดงเดสก์ท็อป" (aka "ลดขนาดหน้าต่างทั้งหมด") ในเส้นประ ฉันจะเพิ่มฟังก์ชั่นนี้ในแดชบอร์ด GNOME (หรือ Ubuntu dock ใน Ubuntu 17.10 และใหม่กว่า) ได้อย่างไรแม้ว่าจะหมายถึงการสร้าง.desktopไฟล์ที่กำหนดเอง (ฉันรู้ว่าฉันสามารถใช้แป้นพิมพ์ลัดCtrl + Super+ D เพื่อแสดงเดสก์ท็อปและฉันสามารถติดตั้งส่วนขยายเพื่อเพิ่มปุ่ม "แสดงเดสก์ท็อป" ลงในแถบด้านบนแต่ฉันต้องการปุ่มเฉพาะในเส้นประ)

26 gnome  gnome-shell  gnome-shell-extension  ubuntu-dock  show-desktop 

ฉันใช้ gnome-shell 3.4.1 ใน Ubuntu 12.04 ฉันได้ลองใช้ส่วนขยายที่หลากหลายจากhttp://extensions.gnome.orgและตอนนี้ฉันต้องการลบบางส่วนออกอย่างสมบูรณ์โดยเฉพาะเพื่อที่พวกเขาจะไม่ใช้พื้นที่ใน Gnome Tweak Tool การลบโฟลเดอร์ส่วนขยายนั้นปลอดภัย~/.local/share/gnome-shell/extensions/หรือไม่

26 12.04  gnome  gnome-shell  gnome-shell-extension 

ท่าเรือขนาดใหญ่ทางด้านซ้าย ในรุ่นอื่น ๆ คุณสามารถหลบหนี launcher unity ได้โดยไปที่ gnome แล้วตอนนี้ล่ะ? การปรับแต่งของ Gnome ไม่ได้แสดงเป็นส่วนขยายแม้ว่าจะดูเหมือนว่าจะพุ่งเข้าหา ฉันเห็นตัวเลือกการซ่อนอัตโนมัติในการตั้งค่า แต่ไม่มีวิธีที่จะลบออกอย่างสมบูรณ์และใช้ค่าเริ่มต้น gnome แก้ไข: ฉันไม่ได้มองหาวานิลลาคำพังเพย แต่เพียงเพื่อซ่อนท่าเรือ

25 gnome-shell  ubuntu-dock  gnome-shell-extension 

ฉันรู้วิธีไปที่https://extensions.gnome.org/เว็บไซต์และดาวน์โหลดส่วนขยาย gnome-shell แต่ตอนนี้ฉันต้องติดตั้งส่วนขยายบางอย่างที่มีในคอมพิวเตอร์โดยไม่ต้องเข้าถึงอินเทอร์เน็ตเลย มันอยู่ในเครือข่ายขององค์กรภายในและไม่มีทางที่ฉันจะสามารถเข้าถึงอินเทอร์เน็ตจากภายนอกได้ดังนั้นฉันจึงต้องหาวิธีอื่น ฉันสามารถคัดลอกไฟล์ในดิสก์ usb ที่คอมพิวเตอร์ที่บ้านของฉันฉันพบส่วนขยายของฉันที่ ~ / .local / share / gnome-shell / extensions / แต่เพียงคัดลอกโฟลเดอร์นี้ไปยังคอมพิวเตอร์ขององค์กรเป้าหมายไม่ได้ทำตามเคล็ดลับ การเรียกใช้ gnome-tweak-tool ให้ฉันเป็นปุ่ม "ติดตั้งส่วนขยายของเชลล์" แต่ฉันไม่รู้วิธีดาวน์โหลดส่วนขยายในรูปแบบที่ยอมรับได้เพื่อติดตั้งโดยใช้ปุ่มนี้ ฉันพยายามชี้ไปที่โฟลเดอร์ด้านบน แต่ไม่ได้ผล ฉันต้องทำอะไร

23 gnome  gnome-shell  gnome-shell-extension 

ฉันต้องการพัฒนาส่วนขยายของ Gnome Shell เพียงเพราะอยู่ในรูปแบบจาวาสคริปต์ แต่ฉันได้ดูแล้วและมีเอกสารที่เป็นศูนย์เกือบทุกที่ที่ฉันมองคนพูดว่าใช้เอกสาร Gnome พื้นฐาน แต่สิ่งนี้ไม่ได้ช่วยฉันได้ ไม่พบเอกสารใด ๆ สำหรับการนำเข้าสำหรับส่วนขยายหรือ api javascript ชนิดใด ๆ สำหรับการพัฒนาส่วนขยายฉันพยายามค้นหาบทเรียนบางส่วน (ส่วนใหญ่ใช้สำหรับ Gnome 3.0 ไม่ใช่ 3.2) แต่ไม่มีอะไรช่วยเหลือ ไม่มีใครรู้ว่าพวกเขากำลังเขียนเอกสารสำหรับการพัฒนาส่วนขยายหรือไม่? ฉันจะรักเอกสารที่ดีบางอย่าง ...

22 development  gnome-shell-extension 

Ubuntu 17.10 เปิดตัว GNOME Shell พร้อมUbuntu Dock (ตามส่วนขยายDash to Dock GNOME Shell) และช่วยให้คุณวาง Dock ไว้ที่ด้านล่างของเดสก์ท็อป: อย่างไรก็ตามไม่มีวิธีที่ง่ายในการย้ายไอคอนแสดงแอปพลิเคชัน (แสดงทางด้านขวา) ไปทางซ้ายของ Dock ไม่มีการตั้งค่าดังกล่าวในศูนย์ควบคุม GNOME มีข้อผิดพลาดที่ยื่นไปแล้ว แต่ไม่มีใครรู้วิธีแก้ปัญหาใด ๆ จนกว่าจะได้รับการแก้ไขโดยนักพัฒนา Ubuntu Dock หรือไม่?

20 17.10  gnome-shell-extension  gnome-shell  ubuntu-dock 

การสั่งซื้อวิดเจ็ตส่วนขยายของเชลล์ดูเหมือนจะสุ่มฉันจะเปลี่ยนได้อย่างไร ฉันต้องการมีข้อมูลวันที่ / เวลาทางด้านซ้าย แผงเปลือกของฉัน:

18 14.04  gnome  gnome-shell  gnome-shell-extension 

ฉันจะรับข้อมูลเพิ่มเติมได้อย่างไรว่าทำไมส่วนขยายที่ระบุไม่ทำงานและแสดงให้ฉัน "ข้อผิดพลาดในการโหลดส่วนขยาย" เมื่อพยายามเปิดใช้งาน

18 gnome-shell  gnome-shell-extension