# Pastebin Xbs9qVsv
  services.xserver.desktopManager.gnome3.sessionPath =
    let shellExt = uuid: path: args: pkgs.stdenv.mkDerivation ({
      installPhase = ''
        mkdir -p $out/share/gnome-shell/extensions/${uuid}
        cp -R ${path}/* $out/share/gnome-shell/extensions/${uuid}
      '';
    } // args); in with pkgs.gnome3; [
      # extensions
      (shellExt "paperwm@hedning:matrix.org" "." {
        name = "gnome-shell-PaperWM";
        src = sources.PaperWM;
        patches = [ ./paperwm.patch ];
      })
      (shellExt "switcher@landau.fi" "." {
        name = "gnome-shell-switcher";
        src = sources.switcher;
      })
      (shellExt "unite@hardpixel.eu" "unite@hardpixel.eu" {
        name = "gnome-shell-unite";
        src = sources.unite-shell;
      })