📅  最后修改于: 2022-03-11 14:50:51.581000             🧑  作者: Mango
# Your locally installed gnome Shell extensions, i.e., these that are installed for your user only, can be listed with the commmand:
ls ~/.local/share/gnome-shell/extensions/
# You can find out which extensions are enables by querying a dconf setting:
gsettings get org.gnome.shell enabled-extensions
# System wide installed gnome-shell extensions are listed with the command
ls /usr/share/gnome-shell/extensions/