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/12 19:21] – [gnome shell extensions] scipio | tips:ubuntu:gnome3 [2017/11/21 14:29] (current) – [gnome shell extensions] scipio | ||
---|---|---|---|
Line 17: | Line 17: | ||
</ | </ | ||
- | ===== gtk theme ===== | + | |
+ | ===== gpaste clipboard | ||
<code bash> | <code bash> | ||
- | sudo apt-get install | + | sudo apt install |
- | gtk-theme-switch2 | + | |
</ | </ | ||
- | ===== gnome shell extensions ===== | ||
- | <code> | + | change keyboard shortcut of show history to <ALT>+v |
- | sudo add-apt-repository ppa: | + | |
- | sudo apt-get update | + | |
- | sudo apt-get install chrome-gnome-shell | + | |
- | </code> | + | |
- | https:// | + | use < |
- | * https:// | + | ===== gnome shell extensions ===== |
- | [[https:// | + | |
- | * https:// | + | * https:// |
- | * 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:// | ||
- | * https://extensions.gnome.org/extension/495/topicons/ | + | |
+ | pomodoro ([[https://www.efficacemente.com/ | ||
+ | < | ||
+ | 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 | ||
+ | </code> |