From 083e389b41ab5fe60c555f7154b928f127b4d55c Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 10 Nov 2020 22:47:48 +0800
Subject: [PATCH] artiq-fast: put board lockfile into separate directory

Files at the root of /tmp cannot be written by different users for some reason.
---
 artiq-fast.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artiq-fast.nix b/artiq-fast.nix
index 5e173e2..c27a8de 100644
--- 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() {