Differences

This shows you the differences between two versions of the page.

--- tips:ubuntu:gnome3 [2017/04/06 13:52] – [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**
+===== theme =====
+<code bash>
+sudo apt-add-repository ppa:numix/ppa
+sudo apt-get update
+sudo apt install numix-gtk-theme numix-icon-theme-circle numix-folders numix-wallpaper-aurora numix-plymouth-theme
+</code>
+===== gpaste clipboard =====
+<code bash>
+sudo apt install gpaste gnome-shell-extensions-gpaste
+</code>
+change keyboard shortcut of show history to <ALT>+v
+use <SHIFT>+Ins to paste selected element
 ===== gnome shell extensions =====
+  * https://extensions.gnome.org/
 <code>
-sudo add-apt-repository ppa:ne0sight/chrome-gnome-shell
+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://extensions.gnome.org/extension/672/disable-screen-shield/
+  * https://extensions.gnome.org/extension/8/places-status-indicator/
+  * https://extensions.gnome.org/extension/570/todotxt/
+  * https://extensions.gnome.org/extension/1112/screenshot-tool/
+pomodoro ([[https://www.efficacemente.com/2015/01/tecnica-del-pomodoro/|concepts]])
+<code>
+curl -L http://download.opensuse.org/repositories/home:kamilprusko/xUbuntu_17.04/Release.key | sudo apt-key add -
+sudo sh -c "echo 'deb http://download.opensuse.org/repositories/home:kamilprusko/xUbuntu_17.04/ /' >> /etc/apt/sources.list.d/gnome-pomodoro.list"
 sudo apt-get update
-sudo apt-get install chrome-gnome-shell
+sudo apt install -y gnome-pomodoro
+# restart gnome (ALT+F2 -> r)
+# use gnome tweak tool to activate pomodoro
 </code>
-https://extensions.gnome.org/
+===== Others =====
-  * https://extensions.gnome.org/extension/120/system-monitor/
+disable lock screen on suspend resume
-  * https://extensions.gnome.org/extension/906/sound-output-device-chooser/
+<code>
-  * https://extensions.gnome.org/extension/779/clipboard-indicator/
+gsettings set org.gnome.desktop.screensaver ubuntu-lock-on-suspend false
+</code>