fix(desktop): use default pop-shell package again
This commit is contained in:
parent
2ab265bda4
commit
cdea1adaef
|
@ -7,21 +7,7 @@
|
||||||
gnome.gnome-tweaks
|
gnome.gnome-tweaks
|
||||||
native-window-placement
|
native-window-placement
|
||||||
appindicator
|
appindicator
|
||||||
(pop-shell.overrideAttrs (old: rec {
|
pop-shell
|
||||||
version = "unstable-2023-04-27";
|
|
||||||
src = fetchFromGitHub {
|
|
||||||
owner = "pop-os";
|
|
||||||
repo = "shell";
|
|
||||||
rev = "b5acccefcaa653791d25f70a22c0e04f1858d96e";
|
|
||||||
sha256 = "w6EBHKWJ4L3ZRVmFqZhCqHGumbElQXk9udYSnwjIl6c=";
|
|
||||||
};
|
|
||||||
patches = [ ];
|
|
||||||
postPatch = ''
|
|
||||||
for file in */main.js; do
|
|
||||||
substituteInPlace $file --replace "gjs" "${pkgs.gjs}/bin/gjs"
|
|
||||||
done
|
|
||||||
'';
|
|
||||||
}))
|
|
||||||
gnome-bedtime
|
gnome-bedtime
|
||||||
];
|
];
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue