Interface
Méthode : Extensions
1
sudo apt install gnome-shell-extension-manager2
sudo apt install gnome-tweaks3
Méthode : Extensions
installation des extensions avec ExtensionManager
Dash To panel
ArcMenu
sudo apt install gnome-shell-extension-managersudo apt install gnome-tweaksinstallation des extensions avec ExtensionManager
Dash To panel
ArcMenu