summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/agda-libdirs-env-variable.patch
diff options
context:
space:
mode:
authorJean-Pierre De Jesus DIAZ <jean@foundation.xyz>2024-07-04 12:11:58 +0200
committerLudovic Courtès <ludo@gnu.org>2024-07-20 12:13:20 +0200
commit1fa4d658d808202f98003d1488f8e44daee370a9 (patch)
tree381d04fee33f391e26274db8fc3e5fff6ec1894d /gnu/packages/patches/agda-libdirs-env-variable.patch
parentd1d70d25c84f1fe2d1998822125a83709c0685ef (diff)
gnu: distrobox: Patch distrobox-generate-entry.HEADmaster
Avoids keeping store references in generated desktop files. * gnu/packages/containers.scm (distrobox)<arguments>: add 'patch-distrobox-generate-entry phase. Change-Id: Ib1bffaefa1805accb5227c289c9fc985853bc675 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/patches/agda-libdirs-env-variable.patch')
0 files changed, 0 insertions, 0 deletions