Pakiet: gnome-shell-extension-prefs (3.36.2-1) [debports]
Odnośniki dla gnome-shell-extension-prefs
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [wiki.gnome.org]
Podobne pakiety:
- gnome-shell-extension-caffeine
- gnome-shell-extension-espresso
- gnome-shell-extensions-extra
- gnome-shell-extensions
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-log-out-button
- gnome-shell-extension-mediaplayer
- gconf-gsettings-backend
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extensions-gpaste
tool to enable / disable GNOME Shell extensions
This package contains a tool which users who use Shell extensions can use to toggle them on and off, and access their preferences.
Inne pakiety związane z gnome-shell-extension-prefs
|
|
|
|
-
- dep: gnome-shell (= 3.36.2-1)
- Powłoka graficzna do środowiska GNOME
-
- dep: gnome-shell-common (= 3.36.2-1)
- Pliki wspólne do graficznej powłoki środowiska GNOME
-
- rec: chrome-gnome-shell
- Pakiet niedostępny
Pobieranie gnome-shell-extension-prefs
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
m68k (port nieoficjalny) | 37,5 KiB | 58,0 KiB | [lista plików] |