#!/bin/bash
cd /home/lionel/docker/docs
git fetch origin main --quiet
LOCAL=$(git rev-parse HEAD)
REMOTE=$(git rev-parse origin/main)
if [ "$LOCAL" != "$REMOTE" ]; then
    git pull origin main --quiet
    echo "$(date): Pulled new changes" >> /home/lionel/docker/docs/sync.log
    # Force MkDocs to rebuild by sending SIGHUP
    docker kill --signal=SIGHUP mkdocs 2>/dev/null || docker restart mkdocs
    echo "$(date): Triggered MkDocs rebuild" >> /home/lionel/docker/docs/sync.log
fi