Merge pull request #272555: gnomeExtensions.ddterm: fix gjs path

This commit is contained in:
piegames 2023-12-07 12:48:29 +01:00 committed by GitHub
commit 03dddf04c5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -49,6 +49,7 @@ super: lib.trivial.pipe super [
nativeBuildInputs = [ gobject-introspection wrapGAppsHook ];
buildInputs = [ vte ];
postFixup = ''
substituteInPlace "$out/share/gnome-shell/extensions/ddterm@amezin.github.com/bin/com.github.amezin.ddterm" --replace "gjs" "${gjs}/bin/gjs"
wrapGApp "$out/share/gnome-shell/extensions/ddterm@amezin.github.com/bin/com.github.amezin.ddterm"
'';
}))