<pre style='margin:0'>
Rainer Müller (raimue) pushed a commit to branch master
in repository macports-guide.
</pre>
<p><a href="https://github.com/macports/macports-guide/commit/41aa9cded701d2d996d50bb1ecce0294b16b4547">https://github.com/macports/macports-guide/commit/41aa9cded701d2d996d50bb1ecce0294b16b4547</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new 41aa9cd ci: Update rsync upload settings
</span>41aa9cd is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 41aa9cded701d2d996d50bb1ecce0294b16b4547
</span>Author: Rainer Müller <raimue@macports.org>
AuthorDate: Tue Mar 25 12:34:50 2025 +0100
<span style='display:block; white-space:pre;color:#404040;'> ci: Update rsync upload settings
</span>---
.github/workflows/main.yml | 27 +++++++++++++--------------
1 file changed, 13 insertions(+), 14 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
</span><span style='display:block; white-space:pre;color:#808080;'>index 3129698..171880b 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/.github/workflows/main.yml
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/.github/workflows/main.yml
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -53,22 +53,21 @@ jobs:
</span> echo "Done building Guide."
- name: Deploy Guide
<span style='display:block; white-space:pre;background:#ffe0e0;'>- #env:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #GUIDE_SSH_HOST: ${{ secrets.GUIDE_SSH_HOST }}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #GUIDE_SSH_HOSTKEY: ${{ secrets.GUIDE_SSH_HOSTKEY }}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #GUIDE_SSH_USER: ${{ secrets.GUIDE_SSH_USER }}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #GUIDE_SSH_KEY: ${{ secrets.GUIDE_SSH_KEY }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ env:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ GUIDE_SSH_HOST: ${{ secrets.GUIDE_SSH_HOST }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ GUIDE_SSH_HOSTKEY: ${{ secrets.GUIDE_SSH_HOSTKEY }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ GUIDE_SSH_USER: ${{ secrets.GUIDE_SSH_USER }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ GUIDE_SSH_KEY: ${{ secrets.GUIDE_SSH_KEY }}
</span>
run: |
set -eu
<span style='display:block; white-space:pre;background:#ffe0e0;'>- #echo "$GUIDE_SSH_KEY" > ssh_key
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #chmod 0600 ssh_key
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #echo "$GUIDE_SSH_HOSTKEY" > ssh_known_hosts
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ touch ssh_key
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ chmod 0600 ssh_key
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ echo "$GUIDE_SSH_KEY" > ssh_key
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ echo "$GUIDE_SSH_HOSTKEY" > ssh_known_hosts
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>- #export RSYNC_RSH="ssh -l $GUIDE_SSH_USER -i ssh_key -oUserKnownHostsFile=ssh_known_hosts"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #echo "Uploading Guide HTML"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- echo "Placeholder for Uploading Guide HTML"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ls -R guide/guide/html
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #rsync -avzhC --progress ./guide/guide/html/ "${GUIDE_SSH_HOST}:guide/"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #rm -f ssh_key ssh_known_hosts
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ export RSYNC_RSH="ssh -l $GUIDE_SSH_USER -i ssh_key -oUserKnownHostsFile=ssh_known_hosts"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ echo "Uploading Guide HTML"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rsync -avzhC --progress ./guide/guide/html/ "${GUIDE_SSH_HOST}:./"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rm -f ssh_key ssh_known_hosts
</span></pre><pre style='margin:0'>
</pre>