Shaarli de Riduidel
Shaarli de Riduidel
Tag cloud
Daily
RSS Feed
Login
Remember me
11776
shaares
11776
shaares
Filters
Links per page
20
50
100
Manage Gnome Shell Extensions from Command Line | UbuntuHandbook
Une bonne source d'information sur ce qu'on peut faire en ligne de commande avec gsetting.
linux
·
gnome
·
configuration
·
command-line
·
astuce
May 27, 2026 at 9:01:41 PM GMT+2 * ·
permalink
·
https://ubuntuhandbook.org/index.php/2025/11/manage-gnome-shell-extensions-from-command-line/
Filters
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community
