message: Second-stage rsync
diff: @@ -73,12 +73,19 @@ jobs:
  DEPLOY_USER: ${{ secrets.DEPLOY_USER }}
  DEPLOY_KEY: ${{ secrets.DEPLOY_KEY }}
  DEPLOY_KNOWN_HOSTS: ${{ secrets.DEPLOY_KNOWN_HOSTS }}
  - DEPLOY_SRC: book
  + DEPLOY_SRC: ./book/
  DEPLOY_DEST: sync/bril-book
  + DEPLOY_2_HOST: courses
  + DEPLOY_2_DEST: coursewww/capra.cs.cornell.edu/htdocs/bril
  run: |
  echo "$DEPLOY_KEY" > pk
  echo "$DEPLOY_KNOWN_HOSTS" > kh
  chmod 600 pk
  - rsync --compress --recursive --checksum --itemize-changes \
  + rsync --compress --recursive --checksum --itemize-changes --delete \
  -e "ssh -p \"$DEPLOY_PORT\" -i pk -o 'UserKnownHostsFile kh'" \
  $DEPLOY_SRC $DEPLOY_USER@$DEPLOY_HOST:$DEPLOY_DEST
  + ssh -p $DEPLOY_PORT -i -pk -o 'UserKnownHostsFile kh' \
  + $DEPLOY_USER@$DEPLOY_HOST \
  + rsync --compress --recursive --checksum --itemize-changes \
  + --delete -e ssh --perms --chmod=Du=rwx,Dgo=rx,Fu=rw,Fog=r \
  + $DEPLOY_DEST/ $DEPLOY_2_HOST:$DEPLOY_2_DEST
  