diff options
| author | piegames <git@piegames.de> | 2023-12-07 12:48:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-07 12:48:29 +0100 |
| commit | 03dddf04c5d2a44031c4c66973e08dff1467c4b6 (patch) | |
| tree | 2ff1fefd1efefdecba3781f5c9bb49ee77f79adf /pkgs/desktops | |
| parent | b3be5348748d30f6fd3f24a743df3bdfccc1ac78 (diff) | |
| parent | ebbfa91857401809e42636fca535877f2587841a (diff) | |
Merge pull request #272555: gnomeExtensions.ddterm: fix gjs path
Diffstat (limited to 'pkgs/desktops')
| -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" ''; })) |