Pytania oznaczone «gnome-shell-extension»

Jak zainstalować rozszerzenia GNOME Shell? Czy można aktualizować, usuwać i zarządzać

W Gnome Tweak Tool nie mogę zmienić motywu powłoki: Unoszące się nad wykrzyknikiem pokazuje poniższy końcówkę narzędzia: Shell user-theme extension not enabled. Używam Ubuntu 14.10 i zainstalowałem rozszerzenia

Powłoka GNOME ma tak zwaną funkcję „gorącego rogu”, która otwiera pulpit nawigacyjny, jeśli mysz dotknie lewego górnego rogu ekranu monitora. Chcę, aby ta opcja była wyłączona. Kiedyś miałem rozszerzenie powłoki GNOME, ale repozytorium już nie znaleziono: git clone...

Jak mogę ukryć górny pasek w Gnome 3.28 Ubuntu 18.04? Jak zainstalować rozszerzenie ukrytego górnego

Używam Ubuntu Gnome 13.10 z Gnome 3.10. Mój problem polega na tym, że przy każdym ponownym uruchomieniu systemu operacyjnego wszystkie rozszerzenia powłoki są wyłączane. Dziwne jest to, że ich ustawienia są zachowane. Są po prostu wyłączone i za każdym razem muszę je ponownie włączać. Jak sprawić,...

Opis problemu Naprawdę podoba mi się obszar roboczy 2 na 2 w Ubuntu 16.04. Ale wydaje się, że mogę jedynie przesuwać obszar roboczy w górę i w dół. Czy istnieje sposób na osiągnięcie tego? Co próbowałem Próbowałem rozszerzenia GNOME o nazwie Workspace Grid (sugerowane tutaj: czy mogę mieć...

Powiedzmy, że z powodzeniem zainstalowałem mój zestaw rozszerzeń powłoki gnome. Ale chcę dezaktywować / dezaktywować z linii poleceń. Jest to możliwe tylko za pomocą myszy, AFAIK. Jak mogę to zrobić

Migruję z Unity do GNOME. Brakuje mi tylko elementu „Pokaż pulpit” (inaczej „minimalizuj wszystkie okna”) na desce rozdzielczej. Jak mogę dodać tę funkcjonalność do deski rozdzielczej GNOME (lub doku Ubuntu w Ubuntu 17.10 i nowszych), nawet jeśli oznacza to utworzenie niestandardowego...

Korzystam z gnome-shell 3.4.1 na Ubuntu 12.04. Próbowałem różnych rozszerzeń z http://extensions.gnome.org i teraz chcę je całkowicie usunąć, szczególnie, aby nie zajmowały miejsca w Gnome Tweak Tool. Czy bezpiecznie jest po prostu usunąć folder rozszerzenia

Duży dok po lewej stronie. W innych wersjach można było uciec z launchera Unity, przechodząc do gnome, co teraz? Ulepszenia Gnome nie pokazują go jako rozszerzenia, nawet jeśli wygląda to jak kreska do dokowania. Widzę opcje automatycznego ukrywania w ustawieniach, ale nie ma sposobu, aby...

Wiem, jak przejść do strony https://extensions.gnome.org/ i pobrać rozszerzenia gnome-shell, ale teraz muszę zainstalować niektóre rozszerzenia dostępne na komputerze bez żadnego dostępu do Internetu. Znajduje się w wewnętrznej sieci korporacyjnej i nie ma możliwości uzyskania poza nią dostępu do...

Chciałem opracować niektóre rozszerzenia Gnome Shell, ponieważ są one tylko w javascript, ale szukałem i jest praktycznie zerowa dokumentacja, wszędzie wyglądam, ludzie mówią tylko, że używają podstawowej dokumentacji Gnome, ale to nie pomaga, mogę nie znalazłem żadnej dokumentacji dotyczącej...

Ubuntu 17.10 wprowadza GNOME Shell z Ubuntu Dock (opartym na rozszerzeniu Dash to Dock GNOME Shell) i pozwala na umieszczenie Docka na dole pulpitu: Nie ma jednak łatwego sposobu przeniesienia ikony Pokaż aplikacje (pokazanej po prawej) na lewo od Docka. Nie ma takiego ustawienia w Centrum...

Kolejność widżetów rozszerzeń powłoki wydaje się losowa, jak mogę to zmienić? Chcę na przykład mieć informacje o dacie / godzinie po lewej stronie. Mój panel

Jak uzyskać więcej informacji o tym, dlaczego dane rozszerzenie nie działa i wyświetla komunikat „Błąd ładowania rozszerzenia” podczas próby

Lub zautomatyzować aktualizacje? Lub usunąć / wyłączyć powiadomienie o aktualizacji? Nie ma go na liście „zainstalowanych rozszerzeń”, a ponowna instalacja nie pomaga. Gdzie znajdują się jego

W nowej instalacji Ubuntu (12.04, 64-bit), po zainstalowaniu gnome-shell, próbowałem zainstalować niektóre rozszerzenia z extensions.gnome.org, ale nie otrzymałem żadnego rezultatu. Próbowałem z Firefox i Chromium i dostałem ten sam problem. Otwórz dowolną stronę rozszerzenia na...

Co tu się dzieje? Mam zainstalowane Dash do dokowania przedłużenia na Ubuntu 17.10. Wszystko było fajne, a kiedy próbowałem ulepszyć i poprawić wygląd mojego pulpitu, w pewnym momencie pasek skrótów (dok??) Po lewej stronie jest duplikowany. Domyślne, które zwykle znika z Dash do Docka, znajduje...

Wiem, że brzmią pytania, które brzmią tak, jak wcześniej, ale żadne z „rozwiązań” nie działa dla mnie. Korzystam z opcji Gnome Classic . Nie mogłem znaleźć żadnego rozszerzenia, które robi to, co chcę. Nie mogłem znaleźć żadnego wpisu dla gnome-panelmojego dconfEditor Czy możesz mi...

Czasami dostaję wiadomości z informacją, że istnieje aktualizacja jednego z moich rozszerzeń GNOME Shell, kierując mnie do https://extensions.gnome.org/local/, gdzie mogę uruchomić aktualizację przez interfejs sieciowy. Wolę wywoływać aktualizacje z wiersza poleceń, podobnie jak wywołanie apt...