artiq-fast: put board lockfile into separate directory

Files at the root of /tmp cannot be written by different users for some reason.
2020-11-10 22:47:48 +08:00 · 2020-11-10 22:47:48 +08:00 · 083e389b41
commit 083e389b41
parent 777b9dbecd
1 changed files with 1 additions and 1 deletions
--- a/artiq-fast.nix
+++ b/artiq-fast.nix
@ -84,7 +84,7 @@ in
        -i $HOME/.ssh/id_rsa \
        -o UserKnownHostsFile=$HOME/.ssh/known_hosts \
        sb@rpi-1 \
-        'flock /tmp/board_lock-kc705-1 -c "echo Ok; cat"' \
+        'mkdir -p /tmp/board_lock && flock /tmp/board_lock/kc705-1 -c "echo Ok; cat"' \
      | (
        # End remote flock via FIFO
        atexit_unlock() {