change workflow
Build and Deploy MkDocs / deploy-docs (push) Successful in 5m46s

This commit is contained in:
2026-10-10 21:03:23 +02:00
parent e1863fd146
commit 60787eb0be
+2 -2
View File
@@ -30,11 +30,11 @@ jobs:
- name: Deploy to Web Server Folder - name: Deploy to Web Server Folder
run: | run: |
echo user $USER, $(whoami)
ls -la site/
# Ensure the mounted directory is recognized inside the container # Ensure the mounted directory is recognized inside the container
mkdir -p /var/www/git-pages mkdir -p /var/www/git-pages
# Clear the destination folder first to remove old deleted files # Clear the destination folder first to remove old deleted files
rm -rf /var/www/git-pages/* rm -rf /var/www/git-pages/*
# Copy everything from the built 'site' folder directly to your web root # Copy everything from the built 'site' folder directly to your web root
cp -R site/* /var/www/git-pages/ cp -R site/* /var/www/git-pages/