Merge pull request #269211: gnomeExtensions.ddterm: unbreak

This commit is contained in:
piegames 2023-11-24 11:05:18 +01:00 committed by GitHub
commit 965d12abf8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -51,7 +51,6 @@ super: lib.trivial.pipe super [
buildInputs = [ vte ];
postFixup = ''
wrapGApp "$out/share/gnome-shell/extensions/ddterm@amezin.github.com/bin/com.github.amezin.ddterm"
wrapGApp "$out/share/gnome-shell/extensions/ddterm@amezin.github.com/ddterm/app/dependencies-notification.js"
'';
}))