Skip to content
This repository has been archived by the owner on Dec 16, 2022. It is now read-only.

Fix docs workflow #4107

Merged
merged 2 commits into from
Apr 21, 2020
Merged

Fix docs workflow #4107

merged 2 commits into from
Apr 21, 2020

Conversation

epwalsh
Copy link
Member

@epwalsh epwalsh commented Apr 21, 2020

No description provided.

@epwalsh epwalsh requested a review from dirkgr April 21, 2020 01:09
echo $DOCS_DEPLOY_KEY > /ssh/allennlp-docs.key
ssh-add /ssh/allennlp-docs.key
GIT_SSH_COMMAND='ssh -i /ssh/allennlp-docs.key' git clone git@github.com:allenai/allennlp-docs.git /allennlp-docs
echo $DOCS_DEPLOY_KEY > ~/allennlp-docs.key
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would have had to add sudo to a bunch of these commands if we didn't put the key in the home directory

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do you have to set the permissions on the key to 600? Sometimes ssh is finicky about that.

mkdir -p ~/allennlp-docs/$DIRECTORY
cp -r site/* ~/allennlp-docs/$DIRECTORY

# And push them up to GitHub
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Forgot to actually push the files 🤦

echo $DOCS_DEPLOY_KEY > /ssh/allennlp-docs.key
ssh-add /ssh/allennlp-docs.key
GIT_SSH_COMMAND='ssh -i /ssh/allennlp-docs.key' git clone git@github.com:allenai/allennlp-docs.git /allennlp-docs
echo $DOCS_DEPLOY_KEY > ~/allennlp-docs.key
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do you have to set the permissions on the key to 600? Sometimes ssh is finicky about that.

@epwalsh epwalsh merged commit 15e6b03 into allenai:master Apr 21, 2020
@epwalsh epwalsh deleted the ssh-fixes branch April 21, 2020 14:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants