Pytania otagowane jako gnome-shell

Powłoka GNOME jest domyślnym interfejsem użytkownika dla pulpitu GNOME 3.

5
Integracja Gnome Shell w Chrome nie działa
Właśnie uaktualniono do Ubuntu 14.04, który wydaje się również wykonywać pełną ponowną instalację Chromium (ponieważ wszystkie moje wtyczki zostały usunięte). Teraz próbuję uzyskać dostęp, https://extensions.gnome.org/aby włączyć rozszerzenia Gnome Shell, ale komunikat: Nie możemy wykryć działającej kopii GNOME w tym systemie, więc niektóre części interfejsu mogą być wyłączone. Aby uzyskać więcej …




8
Jak dodać zaćmienie do ulubionych gnome shell?
Używam gnome shell 3.6 i Eclipse 4.2. Zainstalowałem Eclipse ręcznie, w moim katalogu / opt, ponieważ pakiet Ubuntu dla Eclipse jest bardzo nieaktualny. Utworzyłem dla niego plik .desktop i umieściłem go w ~ / .local / share / applications. To wygląda tak: [Desktop Entry] Type=Application Name=Eclipse Comment=Eclipse Integrated Development Environment …


1
Jak wyłączyć skrót klawiaturowy w gnome-shell?
Są tutoriale w całej sieci, w jaki sposób ustawić różne funkcje, aby aktywować skrót klawiaturowy, ale do tej pory nie jestem w stanie dowiedzieć się, jak un-set skrót klawiaturowy. To znaczy, jak ustawić skrót klawiaturowy na wyłączony, gdy już ustawiłem go na coś innego? Powiedzmy na przykład, że chcę zmienić …






1
Jak należy zarządzać rozszerzeniami powłoki Gnome?
Mam problem ze zrozumieniem zamierzonego sposobu zarządzania rozszerzeniami powłoki Gnome. Nie mogę znaleźć żadnych odpowiednich programów w Dash, aby to zrobić. Jedynym sposobem, w jaki mogę faktycznie zarządzać rozszerzeniami, jest poprzez extensions.gnome.org . To niemożliwe, aby ta strona była narzędziem do zarządzania rozszerzeniami - ma absolutnie zero sensu (na przykład …

2
Czy istnieje sposób na dostosowanie formatowania daty / godziny na ekranie logowania GNOME 3 i pulpicie?
W szczególności chcę zmienić formatowanie w dwóch miejscach: Na pulpicie data / godzina brzmi „Sob 21:05”. Chciałbym, aby brzmiało to „23-lip-11 21:05” lub „23 lipca 11 21:05”. Innymi słowy, chcę zmienić sposób wyświetlania dnia tygodnia, aby wyświetlał dzień, nazwę krótkiego miesiąca i krótki rok. Na ekranie logowania data / godzina …


Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.