add publish.sh

carueda · Jan 22, 2025 · 87ac58f · 87ac58f
1 parent 7b7005e
commit 87ac58f
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/misc/publish.md b/misc/publish.md
@@ -1,3 +1,9 @@
+2025-01
+
+I've been publishing with `misc/publish.sh`.
+
+----
+
 2024-08
 Making this work again.
 

diff --git a/misc/publish.sh b/misc/publish.sh
@@ -0,0 +1,9 @@
+# Run:  misc/publish.sh
+set -eu
+
+sbt clean
+sbt +test
+GPG_TTY=$(tty)
+export GPG_TTY
+sbt +publishSigned
+sbt +sonatypeBundleRelease