From 1c58ccb7855719483490abe1982afa12b0488f24 Mon Sep 17 00:00:00 2001
From: Jack Jamison <jackqjamison@gmail.com>
Date: Fri, 15 May 2026 22:36:21 -0400
Subject: refactor and battery notifier

---
 scripts/util/dafny | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 scripts/util/dafny

(limited to 'scripts/util/dafny')

diff --git a/scripts/util/dafny b/scripts/util/dafny
new file mode 100755
index 0000000..93b26a7
--- /dev/null
+++ b/scripts/util/dafny
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# get args
+file="${!#}"
+set -- "${@:1:$(($#-1))}"
+args="$@"
+
+cat "$file" | ssh vm "tee ~/dafny/torun.dfy > /dev/null; dafny $args ~/dafny/torun.dfy"
-- 
cgit v1.2.3