rarias/jungle
2
0
Fork 3
Code Issues 57 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Conversation 1 Commits 1013 Files Changed 120 +2 -1
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit c858f521bf - Show all commits

3
garlic/stages/isolate/stage1
View File

@@ -41,7 +41,8 @@ mounts=(
-m /gpfs/projects/bsc15
-m /gpfs/scratch/bsc15
-m /bin:@nixPrefix@@busybox@/bin
@extraMountOptions@
-m "$TMPDIR"
@extraMountOptions@
)
symlinks=(