diff options
author | Jack Wilsdon <jack.wilsdon@gmail.com> | 2023-12-06 22:07:42 +0000 |
---|---|---|
committer | Jack Wilsdon <jack.wilsdon@gmail.com> | 2023-12-06 22:07:42 +0000 |
commit | ebbfa91857401809e42636fca535877f2587841a (patch) | |
tree | bc8330d191efc070905377ebe5cc15b39039cc8e /pkgs/desktops/gnome/extensions | |
parent | d3c6dc6d97e2d411f5659ca75cfd355ecad073ae (diff) |
gnomeExtensions.ddterm: fix gjs path
Diffstat (limited to 'pkgs/desktops/gnome/extensions')
-rw-r--r-- | pkgs/desktops/gnome/extensions/extensionOverrides.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/extensions/extensionOverrides.nix b/pkgs/desktops/gnome/extensions/extensionOverrides.nix index b3718cbd17f3b..abbeb15f7dcd4 100644 --- a/pkgs/desktops/gnome/extensions/extensionOverrides.nix +++ b/pkgs/desktops/gnome/extensions/extensionOverrides.nix @@ -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" ''; })) |