commit: e1b6c64f32e779c541e9d1d1c5140bd4c91a258a
parent 0758d303101ba576537beb8e2a0278896b45d8eb
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sat, 13 Sep 2025 23:41:18 +0200
bin/pkgdev: add /var/cache/distfiles
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/.local/bin/pkgdev b/.local/bin/pkgdev
@@ -2,6 +2,7 @@
getcwd -E PWD
importas HOME HOME
importas -D $HOME/.cache XDG_CACHE_HOME XDG_CACHE_HOME
+importas -D /var/cache/distfiles DISTDIR DISTDIR
backtick -in -E GIT_WORK_TREE { git rev-parse --show-toplevel }
bwrap
--die-with-parent
@@ -10,6 +11,7 @@ bwrap
--ro-bind / /
--tmpfs /tmp
--bind $XDG_CACHE_HOME $XDG_CACHE_HOME
+ --bind $DISTDIR $DISTDIR
--bind $GIT_WORK_TREE $GIT_WORK_TREE
--proc /proc
--dev /dev