Quelle sont vos extensions gnome préférées?

Pause Café
#1

Salut,
quelle sont vos extensions gnome préférées

pour moi:

  • Dash to Dock
  • Pixel Saver
  • TopIcons Plus
  • OpenWeather

https://extensions.gnome.org/local/

#2
Mode troll

J’ai i3wm, pas besoin d’extention

#3

[troll]
Gnome ? c’est quoi cette limonade ?
xmonad, c’est tout.
[/troll]

#4

Salut
Topicons Plus n’est plus maintenu, cf https://github.com/phocean/TopIcons-plus

j’ai épuré:

  • pixel-saver
  • openweather
  • window-list
  • nohotcorner
  • dash-to-panel
  • topIcons

#5

Franchement Gnome c’est finis pour moi.
ça mange trop de ressources.

J’ai l’impression de voir kde 4 au début.

#6

Excellent ce pixel-saver je viens de l’installer :smiley:

Sinon moi j’installe d’office ceux-ci:

  • Dash to Dock
  • system monitor (le vieux avec les graphs, le nouveau est vraiment inutile à mon sens)
  • Dynamic panel transparency
  • Coverflow alt-tab (je me rend compte que je n’utilise plus jamais alt-tab avec Gnome …)
  • Openweather
  • Mconnect (malheureusement GSConnect ne fonctionne pas avec Gnome 3.22 sous Stretch)
  • Gpaste integration (pareil que Mconnect/GSConnect Gnome sous Stretch est trop vieux pour son remplacent dont j’ai oublié le nom)
  • Removable drive menu