bin/copy_demos.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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