From 68edcb18e51db18aa7de0bbf500f0e6c252dd1b3 Mon Sep 17 00:00:00 2001
From: Jesse Luehrs <doy@tozt.net>
Date: Sat, 19 Jun 2021 16:27:06 -0400
Subject: add a container for running smt

---
 bin/smt | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 bin/smt

(limited to 'bin')

diff --git a/bin/smt b/bin/smt
new file mode 100755
index 0000000..d7ac305
--- /dev/null
+++ b/bin/smt
@@ -0,0 +1,5 @@
+#!/bin/sh
+set -eu
+
+podman images | grep -q localhost/smt || podman build -t smt -f ~/conf/docker/smt
+podman run --rm smt smt "$@"
-- 
cgit v1.2.3-54-g00ecf