diff options
| author | Jan Tuomi <jan@jantuomi.fi> | 2026-06-06 23:41:09 +0300 |
|---|---|---|
| committer | Jan Tuomi <jan@jantuomi.fi> | 2026-06-06 23:41:09 +0300 |
| commit | da5875291bd8380a28f7587e5341e49e96dbdef9 (patch) | |
| tree | 05191818073d84f000cf4a3c450882cfbe8f4abc /roles/jails/08_diddle/templates/root_clone.sh | |
| parent | 6a4311689f280e285aa47a2dd758990ca583f3c5 (diff) | |
Use diddle port
Diffstat (limited to 'roles/jails/08_diddle/templates/root_clone.sh')
| -rw-r--r-- | roles/jails/08_diddle/templates/root_clone.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/roles/jails/08_diddle/templates/root_clone.sh b/roles/jails/08_diddle/templates/root_clone.sh deleted file mode 100644 index 7f92c5f..0000000 --- a/roles/jails/08_diddle/templates/root_clone.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - -REPO="$1" -TARGET="$2" - -set -eux - -# Exits with 100 if the directory was changed - -if [ ! -d "$TARGET" ]; then - git clone --depth=1 --branch main --single-branch "$REPO" "$TARGET" - exit 100 -fi - -cd "$TARGET" -before=$(git rev-parse HEAD) -git fetch --depth=1 --prune origin main -git reset --hard origin/main -after=$(git rev-parse HEAD) - -if [ "$before" != "$after" ]; then exit 100; fi |