From bf0d278243acbcdcb4f1447541c3248212a02c0d Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Sun, 3 Mar 2024 09:57:19 -0500 Subject: also allow running the update script locally --- bin/update | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 bin/update (limited to 'bin/update') diff --git a/bin/update b/bin/update new file mode 100755 index 0000000..0784346 --- /dev/null +++ b/bin/update @@ -0,0 +1,6 @@ +#!/bin/sh +set -eu + +cd "$(dirname "$0")/.." + +exec bin/for-servers update -- cgit v1.2.3-54-g00ecf