diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/configure b/configure new file mode 100755 index 0000000..53d8e1c --- /dev/null +++ b/configure @@ -0,0 +1,22 @@ +#!/bin/sh + +usage() { + echo "usage: ./configure <ssh-pubkey>" + echo "Please give me your administrator public key, whose filename must" + echo "end in '.pub'. Paths beginning with '~' are not allowed, however" + echo "your shell might pre-expand them." + exit 1 +} + +echo "$1" | grep -Eq '^~' && usage +echo "$1" | grep -Eq '.+\.pub$' || usage + +echo "$1" | grep -Eq '^/' && keypath="$1" || keypath="$PWD/$1" +keyname=$(basename "$keypath") + +docker compose run \ + --build \ + --rm \ + --volume "$keypath:/tmp/$keyname:ro" \ + gitolite \ + /app/initialize.sh "$keyname" |