From eee0df70109c68bfaff241aed1a8d98bce1b1e5e Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Sat, 19 Jun 2021 23:43:57 -0400 Subject: condense this into a single script --- bin/smt | 6 +++++- docker/smt | 4 ---- 2 files changed, 5 insertions(+), 5 deletions(-) delete mode 100644 docker/smt diff --git a/bin/smt b/bin/smt index d7ac305..40078a9 100755 --- a/bin/smt +++ b/bin/smt @@ -1,5 +1,9 @@ #!/bin/sh set -eu -podman images | grep -q localhost/smt || podman build -t smt -f ~/conf/docker/smt +podman images | grep -q localhost/smt || cat <