set perms on docs web folder

This commit is contained in:
Evan Burkey 2023-02-28 10:15:43 -08:00
parent af9b56f0e4
commit ff3e8e6bef
1 changed files with 3 additions and 1 deletions

View File

@ -14,5 +14,7 @@ docs:
- eval "$(ssh-agent -s)" - eval "$(ssh-agent -s)"
- ssh-add ~/.ssh/id_rsa - ssh-add ~/.ssh/id_rsa
- mkdocs build - mkdocs build
- ssh debian@fputs.com rm -rf /var/www/fputs/docs/libflint; mkdir -p /var/www/fputs.com/docs/libflint - ssh debian@fputs.com rm -rf /var/www/fputs/docs/libflint
- ssh debian@fputs.com mkdir -p /var/www/fputs.com/docs/libflint
- ssh debian@fputs.com chmod 755 /var/www/fputs/docs/libflint
- scp -r ./site/* debian@fputs.com:/var/www/fputs.com/docs/libflint/ - scp -r ./site/* debian@fputs.com:/var/www/fputs.com/docs/libflint/