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

This commit is contained in:
2026-10-10 21:13:42 +02:00
parent 60787eb0be
commit ed6cbb10f1
+11 -1
View File
@@ -31,10 +31,20 @@ jobs:
- name: Deploy to Web Server Folder - name: Deploy to Web Server Folder
run: | run: |
echo user $USER, $(whoami) echo user $USER, $(whoami)
ls -la site/ echo ls site
ls 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
echo ls var
ls -la /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/
echo ls var
ls -la /var/www/git-pages/