1 files changed, 5 insertions, 0 deletions
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 "$@"