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 [2017/11/21 14:29] (current) – [gnome shell extensions] scipio | ||
---|---|---|---|
Line 8: | Line 8: | ||
customize environment with **gnome-tweak-tool** | customize environment with **gnome-tweak-tool** | ||
- | ===== gnome shell extensions ===== | ||
- | < | + | ===== theme ===== |
- | sudo add-apt-repository ppa:ne0sight/chrome-gnome-shell | + | |
+ | < | ||
+ | sudo apt-add-repository ppa:numix/ppa | ||
sudo apt-get update | sudo apt-get update | ||
- | sudo apt-get install | + | sudo apt install |
</ | </ | ||
- | https:// | ||
- | * https:// | + | ===== gpaste clipboard ===== |
- | * https:// | + | |
- | * https:// | + | <code bash> |
+ | sudo apt install gpaste | ||
+ | </code> | ||
+ | |||
+ | change keyboard shortcut of show history to < | ||
+ | |||
+ | use < | ||
+ | |||
+ | ===== gnome shell extensions ===== | ||
+ | |||
+ | * https:// | ||
+ | |||
+ | < | ||
+ | sudo apt-get install gir1.2-gtop-2.0 gir1.2-networkmanager-1.0 gir1.2-clutter-1.0 | ||
+ | </code> | ||
+ | * topicons plus | ||
+ | * system monitor | ||
+ | * Sound Input & Output Device Chooser | ||
+ | * OpenWeather | ||
+ | * https:// | ||
* https:// | * https:// | ||
* https:// | * https:// | ||
* https:// | * https:// | ||
+ | |||
+ | pomodoro ([[https:// | ||
+ | < | ||
+ | curl -L http:// | ||
+ | sudo sh -c "echo 'deb http:// | ||
+ | sudo apt-get update | ||
+ | sudo apt install -y gnome-pomodoro | ||
+ | # restart gnome (ALT+F2 -> r) | ||
+ | # use gnome tweak tool to activate pomodoro | ||
+ | </ | ||
+ | |||
+ | ===== Others ===== | ||
+ | |||
+ | disable lock screen on suspend resume | ||
+ | < | ||
+ | gsettings set org.gnome.desktop.screensaver ubuntu-lock-on-suspend false | ||
+ | </ |