self: super: { gnome = super.gnome.overrideScope (gself: gsuper: { gnome-shell = (gself.callPackage ./gnome-shell { }).overrideAttrs (old: { version = "unstable-2023-09-08"; src = super.fetchFromGitLab { domain = "gitlab.gnome.org"; owner = "verdre"; repo = "mobile-shell"; rev = "df3f6b4c512d2f181e86ff7f6b1646ce7b907344"; hash = "sha256-s47z1q+MZWogT99OkzgQxKrqFT4I0yXyfGSww1IaaFs="; fetchSubmodules = true; }; # JS ERROR: Error: Requiring ModemManager, version none: Typelib file for namespace 'ModemManager' (any version) not found # @resource:///org/gnome/shell/misc/modemManager.js:4:49 buildInputs = old.buildInputs ++ [ super.modemmanager ]; postPatch = '' patchShebangs src/data-to-c.pl # We can generate it ourselves. rm -f man/gnome-shell.1 # Build fails with -Dgtk_doc=true # https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6486 # element include: XInclude error : could not load xxx, and no fallback was found substituteInPlace docs/reference/shell/shell-docs.sgml \ --replace '' ' ' \ --replace '' ' ' ''; }); mutter = (gself.callPackage ./mutter { }).overrideAttrs (old: { version = "unstable-2023-09-08"; src = super.fetchFromGitLab { domain = "gitlab.gnome.org"; owner = "verdre"; repo = "mobile-mutter"; rev = "0f08f5aba4c9b5ac34b2d5711182d50b719d838e"; hash = "sha256-du56QMOlM7grN60eafoGTw2JGND6PK1gLrfWufihPO4="; }; }); }); }