/pkgs/desktops/gnome/core/gnome-shell-extensions/
../
default.nix
fix_gmenu.patch
fix_gtop.patch