Skip to content

Merge branch 'main' of github.com:open-resources/opb_training #19

Merge branch 'main' of github.com:open-resources/opb_training

Merge branch 'main' of github.com:open-resources/opb_training #19

Workflow file for this run

name: deploy-book
# Only run this when the main branch changes
on:
workflow_dispatch:
push:
branches:
- main
# This job installs dependencies, builds the book, and pushes it to my server`
jobs:
deploy-book:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
# Install dependencies
- name: Set up Python 3.10
uses: actions/setup-python@v2
with:
python-version: '3.10'
- name: cache installation
uses: actions/cache@v3
with:
path: ${{ env.pythonLocation }}
key: ${{ env.pythonLocation }}-${{ hashFiles('setup.py') }}-${{ hashFiles('requirements.txt') }}
- name: Install dependencies
run: |
pip install -r requirements.txt
# Build the book
- name: Build the book
run: |
jupyter-book build .
# Push to server
- name: rsync and ssh
env:
REMOTE_HOST: ${{ secrets.REMOTE_HOST }}
REMOTE_USER: ${{ secrets.REMOTE_USER }}
REMOTE_KEY: ${{ secrets.SERVER_SSH_KEY }}
REMOTE_DIR: ${{ secrets.REMOTE_TARGET }}
LOCAL_DIR: "_build/html/"
WEBSITE_NAME: "opb_training"
run: |
mkdir ~/.ssh
echo "$REMOTE_KEY" > ~/.ssh/id_rsa
ssh-keyscan -H $REMOTE_HOST >> ~/.ssh/known_hosts
chmod 600 ~/.ssh/id_rsa
rsync -avzr --delete $LOCAL_DIR $REMOTE_USER@$REMOTE_HOST:$REMOTE_DIR/$WEBSITE_NAME/