🔨 Keep DEST_DIR and SOURCE_DIR in sync

2024-02-14 22:11:33 +01:00 · 2024-02-14 22:11:33 +01:00 · 685f214d16
parent fcccfaff3c
commit 685f214d16
1 changed files with 3 additions and 0 deletions
--- a/scripts/publish.sh
+++ b/scripts/publish.sh
@ -69,6 +69,9 @@ find -L "$SOURCE_DIR" -type f -name "*.md" -exec grep -q "publish: true" {} \; -
    fi
 done

+# Delete files in DEST_DIR that don't exist in SOURCE_DIR anymore
+find "$DEST_DIR" -type f -exec sh -c '[ ! -e "$SOURCE_DIR/${1#$DEST_DIR/}" ] && rm "$1"' _ {} \;
+
 # Print the log file
 cat "$LOG_FILE"