Hide top bar, extension pour Gnome-shell 45

Pour installer cette extension sous Gnome-shell 45. Il faut utiliser les sources suivantes depuis Gitlab :

Supprimer l'extension, dans le gestionnaire du même nom, si elle est déjà installée.

Exécuter les commandes suivantes dans un terminal:

cd ~/.local/share/gnome-shell/extensions/
git clone https://gitlab.gnome.org/ademar111190/hidetopbar.git hidetopbar@mathieu.bidon.ca
cd hidetopbar@mathieu.bidon.ca
git checkout gnome-45
make

Déconnecter sa session puis activer l'extension, dans le gestionnaire d'extension, si nécessaire.

🔗 Source: https://extensions.gnome.org/..

Voir le commentaire de “hejsanhoppsanfallerallera” du 17/12/2023.