extension
Package / Extension Manager
- gnome-shell-extension-prefs
- gnome-shell-extension-manager (GitHub) (Command: extension-manager)
Package / Extensions
執行下面指令，安裝
sudo apt-get install gnome-shell-extension-prefs gnome-shell-extensions gnome-shell-extension-manager
Command
- gnome-extensions
- gnome-extensions-app
- gnome-shell-extension-tool
- gnome-shell-extension-prefs
- extension-manager
GNOME Shell Extensions
| Extension | Project | YouTube |
|---|---|---|
| Just Perfection | Project | Just Perfection |
| Extension | Project |
|---|---|
| Desktop Cube | Project |
| Extension | Project |
|---|---|
| Coverflow Alt-Tab | Project |
| Vertical Window List | Project |
| Extension | Project |
|---|---|
| Compiz windows effect | Project |
| Wobbly Windows |
| Extension | Project |
|---|---|
| Dash2Dock Lite | Project |
| Dash to Dock | Project |
| Dash to Plank | Project |
| Extension | Project |
|---|---|
| Blur my Shell | Project |
| Control Blur Effect On Lock Screen | Project |
| Extension | Project |
|---|---|
| Custom Hot Corners - Extended | Project |