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/dafny | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 scripts/dafny

(limited to 'scripts/dafny')

diff --git a/scripts/dafny b/scripts/dafny
deleted file mode 100755
index 93b26a7..0000000
--- a/scripts/dafny
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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