fix: fix pop-shell

This commit is contained in:
Felix Schröter 2021-10-21 23:57:16 +02:00
parent 3f2433055c
commit 20b10194ca
No known key found for this signature in database
GPG key ID: 910ACB9F6BD26F58

View file

@ -16,9 +16,9 @@ stdenv.mkDerivation rec {
buildInputs = [ gjs ];
preBuildHook = ''
./fix-gjs.patch
find . -name '*.ts' -exec sed -i -E 's|^#!/usr/bin/gjs|#!/usr/bin/env gjs|' \{\} \;
(fetchpatch {
find . -name '*.ts' -exec sed -i -E 's|\["gjs", path]|[path]|' \{\} \;
find . -name '*.ts' -exec sed -i -E 's|`gjs $\{path}`|path|' \{\} \;
'';
patches = [ ./gnome-41.patch ];
@ -31,11 +31,7 @@ stdenv.mkDerivation rec {
];
postInstall = ''
chmod +x $out/share/gnome-shell/extensions/pop-shell@system76.com/floating_exceptions/main.js
chmod +x $out/share/gnome-shell/extensions/pop-shell@system76.com/floating_exceptions/main.js
chmod +x $out/share/gnome-shell/extensions/pop-shell@system76.com/color_dialog/main.js
chmod +x $out/share/gnome-shell/extensions/pop-shell@system76.com/color_dialog/main.js
rm -rf $out/bin
rm -rf $out/bin
'';
}