Move personal shells to a custom directory

This commit is contained in:
2026-02-04 10:25:22 +01:00
parent 0495bf0dee
commit 150bdae46e
9 changed files with 0 additions and 0 deletions

20
custom/vincent/chol/run.sh Executable file
View File

@@ -0,0 +1,20 @@
#!/bin/sh
if [ -z "$1" ]; then
exec nix develop -c $0 run
#exec srun -J chol -p fox --exclusive nix develop -c $0 run
fi
set -eux
size=$((32*1024))
bs=512
b6dir=$(which b6_cholesky_nodes | awk -F/ '{print $4}')
wdir="out/$b6dir"
mkdir -p "$wdir"
log="$wdir/b6_cholesky_nodes-$size-$bs.csv"
bigotes -o "$log" -- b6_cholesky_nodes $size $bs
ministat -w80 "$log"