Differences

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

--- tips:ubuntu:gnome3 [2017/07/29 09:38] – [gnome shell extensions] scipio
+++ tips:ubuntu:gnome3 [2017/11/21 14:29] (current) – [gnome shell extensions] scipio
@@ Line 17: / Line 17: @@
 </code>
-===== gtk theme =====
-<code bash>
-sudo apt-get install gtk-theme-switch
-gtk-theme-switch2
-</code>
 ===== gpaste clipboard =====
@@ Line 35: / Line 30: @@
 ===== gnome shell extensions =====
-<code>
+  * https://extensions.gnome.org/
-sudo add-apt-repository ppa:ne0sight/chrome-gnome-shell
-sudo apt-get update
-sudo apt-get install chrome-gnome-shell
-</code>
-https://extensions.gnome.org/
 <code>
 sudo apt-get install gir1.2-gtop-2.0 gir1.2-networkmanager-1.0 gir1.2-clutter-1.0
 </code>
-  * [[https://extensions.gnome.org/extension/307/dash-to-dock/|dash to dock]]
+  * topicons plus
-  * [[https://extensions.gnome.org/extension/97/coverflow-alt-tab/|coverflow ALT+TAB]]
+  * system monitor
-  * https://extensions.gnome.org/extension/120/system-monitor/ (for zeisty see [[https://github.com/paradoxxxzero/gnome-shell-system-monitor-applet/issues/341|patch]])
+  * Sound Input & Output Device Chooser
-  * [[https://extensions.gnome.org/extension/885/dynamic-top-bar/|dynamic topbar]]
+  * OpenWeather
   * https://extensions.gnome.org/extension/672/disable-screen-shield/
-  * https://extensions.gnome.org/extension/906/sound-output-device-chooser/
   * https://extensions.gnome.org/extension/8/places-status-indicator/
   * https://extensions.gnome.org/extension/570/todotxt/
   * https://extensions.gnome.org/extension/1112/screenshot-tool/
-  * https://extensions.gnome.org/extension/495/topicons/
-  * https://extensions.gnome.org/extension/826/suspend-button/
 pomodoro ([[https://www.efficacemente.com/2015/01/tecnica-del-pomodoro/|concepts]])