From c14aabfd17c85632bd68db60867edb3fb662c7e7 Mon Sep 17 00:00:00 2001 From: Johannes Herman Date: Thu, 11 Dec 2025 06:49:19 +0100 Subject: initial commit --- bin/copy_demos.sh | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 bin/copy_demos.sh (limited to 'bin/copy_demos.sh') diff --git a/bin/copy_demos.sh b/bin/copy_demos.sh new file mode 100755 index 0000000..dc827e4 --- /dev/null +++ b/bin/copy_demos.sh @@ -0,0 +1,20 @@ +#!/bin/sh + +SOURCE_DIR="demos" +DEST_DIR="public/demos" + +mkdir -p "$DEST_DIR" + +for demo in "$SOURCE_DIR"/*; do + [ -f "$demo" ] || continue + + filename=$(basename -- "$demo") + dest="$DEST_DIR/$filename" + + [ -f "$dest" ] && continue + + echo " copying demo: $filename" + + cp "$demo" "$dest" +done + -- cgit v1.2.3