Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| tips:ubuntu:gnome3 [2017/04/06 18:01] – [gnome shell extensions] scipio | tips:ubuntu:gnome3 [2025/06/25 06:50] (current) – sscipioni | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== | + | ====== |
| - | <code bash> | ||
| - | sudo add-apt-repository ppa: | ||
| - | sudo apt update | ||
| - | sudo apt install ubuntu-gnome-desktop | ||
| - | </ | ||
| - | customize environment with **gnome-tweak-tool** | ||
| - | ===== gnome shell extensions ===== | ||
| - | < | + | |
| - | sudo add-apt-repository ppa: | + | pano global shortcut |
| - | sudo apt-get update | + | < |
| - | sudo apt-get install chrome-gnome-shell | + | dconf write /org/gnome/shell/ |
| </ | </ | ||
| - | https:// | + | customize environment with **gnome-tweak-tool** |
| - | * https:// | ||
| - | * https:// | ||
| - | * https:// | ||
| - | * https:// | ||
| - | * https:// | ||
| - | * https:// | ||