From 0db0ffb128ca08937514c40399da6ebc3286f90b Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 10 Nov 2020 22:49:07 +0800
Subject: [PATCH] zynq: power off board when done

---
 zynq.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/zynq.nix b/zynq.nix
index 5182833..e0c589c 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -57,6 +57,9 @@ in
         touch $out
 
         echo Completed
+
+        (echo b; sleep 5) | nc -N -w6 192.168.1.31 3131
+        echo Board powered off
         '';
     });
   }