Python virtual environment & GitHub actions

Activate environment to deploy

cd /home/$USER/Documents/mkdocs/
source venv/bin/activate
mkdocs serve

Deactivate

deactivate

Push files to github repo

cd /home/$USER/Documents/mkdocs/
git add .
git commit -m $'New files'
git push origin main

Warning

If error acourr

sign_and_send_pubkey: signing failed for "******" from agent: agent refused operation
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Note

If necessarly:

# To see fingerprints
ssh-add -l
# To add and permit push
ssh-add