Fix https joinpeertube.org

This commit is contained in:
JosephK 2018-03-01 12:11:25 +01:00
parent cf39e69eb8
commit 3903ee4fb8

View file

@ -12,7 +12,7 @@ validity-check:
deploy: deploy:
stage: deploy stage: deploy
script: script:
- hugo -b "http://joinpeertube.org" - hugo -b "https://joinpeertube.org"
- mkdir "${HOME}/.ssh" - mkdir "${HOME}/.ssh"
- chmod 700 "${HOME}/.ssh" - chmod 700 "${HOME}/.ssh"
- if [ ! -z ${DEPLOYEMENT_KNOWN_HOSTS+x} ]; then echo -e "${DEPLOYEMENT_KNOWN_HOSTS}" > ${HOME}/.ssh/known_hosts; fi - if [ ! -z ${DEPLOYEMENT_KNOWN_HOSTS+x} ]; then echo -e "${DEPLOYEMENT_KNOWN_HOSTS}" > ${HOME}/.ssh/known_hosts; fi