First, install the deploy tool
pip3 install --user orderly-web
Ensure that the path that the script is copied into is in your path (on Linux, most likely ~/.local/bin
, on OSX ~/Library/Python/<version>/bin
orderly-web start config
It is possible that the orderly-web
deploy scripts should be updated
pip3 install --user --upgrade orderly-web
Then redeploy with:
orderly-web stop config
orderly-web start --pull config
ssh-keygen -t rsa -b 4096 -C "[email protected]" -f deploy_key
vault login -method=github
vault write secret/orderly/deploy-key public=@deploy_key.pub private=@deploy_key
xsel --clipboard < deploy_key.pub
Add the key here: https://github.com/mrc-ide/orderly-tutor/settings/keys/new