Differences

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

--- tips:ubuntu:gnome3 [2017/07/17 14:40] – [gnome shell extensions] scipio
+++ tips:ubuntu:gnome3 [2025/06/25 06:50] (current) – sscipioni
@@ Line 1: / Line 1: @@
-====== Gnome3 ======
+====== Gnome ======
-<code bash>
-sudo add-apt-repository ppa:gnome3-team/gnome3-staging
-sudo apt update
-sudo apt install ubuntu-gnome-desktop
-</code>
-customize environment with **gnome-tweak-tool**
-===== theme =====
+pano global shortcut
 <code bash>
-sudo apt-add-repository ppa:numix/ppa
+dconf write /org/gnome/shell/extensions/pano/global-shortcut "['<Alt>v']"
-sudo apt-get update
-sudo apt install numix-gtk-theme numix-icon-theme-circle numix-folders numix-wallpaper-aurora numix-plymouth-theme
 </code>
-===== gtk theme =====
+customize environment with **gnome-tweak-tool**
-<code bash>
-sudo apt-get install gtk-theme-switch
-gtk-theme-switch2
-</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 =====
-<code>
-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]]
-  * [[https://extensions.gnome.org/extension/97/coverflow-alt-tab/|coverflow ALT+TAB]]
-  * https://extensions.gnome.org/extension/120/system-monitor/ (for zeisty see [[https://github.com/paradoxxxzero/gnome-shell-system-monitor-applet/issues/341|patch]])
-  * [[https://extensions.gnome.org/extension/885/dynamic-top-bar/|dynamic topbar]]
-  * 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]])
-<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 install -y gnome-pomodoro
-# restart gnome (ALT+F2 -> r)
-# use gnome tweak tool to activate pomodoro
-</code>