changes for converting from website to docs site (#188)

* changes for converting from website to docs site

* update staging deploy script and lock file

* update docsearch
This commit is contained in:
Lucy C
2022-10-31 19:53:54 -06:00
committed by GitHub
parent ebb893906a
commit 41de77f78e
35 changed files with 103 additions and 954 deletions

View File

@@ -7,7 +7,7 @@ cp -r ./docs/_build/dirhtml/. gh-pages
# Create gh-pages branch
cd gh-pages
git init
git config --local user.email "dev@start9labs.com"
git config --local user.email "dev@start9.com"
git config --local user.name "Start9 Dev"
git remote add origin "https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
git checkout -b gh-pages

View File

@@ -13,9 +13,9 @@ echo "FILTER: make multiversion"
make clean && make multiversion
echo "FILTER: rsync build"
rsync -rzP --delete ./_build/dirhtml/ root@staging.start9labs.com:/var/www/html/staging.start9labs.com/dirhtml/
rsync -rzP --delete ./_build/dirhtml/ root@staging.start9.com:/var/www/html/staging.start9labs.com/dirhtml/
echo "FILTER: ssh restart nginx and tor"
ssh root@staging.start9labs.com "systemctl reload nginx && systemctl reload tor"
ssh root@staging.start9.com "systemctl reload nginx && systemctl reload tor"
echo "FILTER: fin"