From f35e0763db4c3f0da1f5e7e50bad98239cdc1dbf Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 28 Oct 2024 18:10:05 +0100 Subject: [PATCH] minor documentation updates --- README.md | 2 +- update.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index f9dab4d..b7c28db 100644 --- a/README.md +++ b/README.md @@ -38,7 +38,7 @@ An SSH communication will starts. If you already registered your private key with `ssh-agent` and your `.ssh/config` is configured to take this one if you communicate with with `git@git.robur.coop`, everything will be smooth! Et voilà! At the end, an HTTP request will be send to `https://blog.robur.coop` (via -Gitea) to update the unikernel with the last version of the blog. +Forgejo) to update the unikernel with the last version of the blog. You can also use the `update.sh` script to update the blog with the builder user on the server machine. diff --git a/update.sh b/update.sh index 312349c..ff79399 100755 --- a/update.sh +++ b/update.sh @@ -1,6 +1,6 @@ #!/bin/sh -opam exec -- dune exec src/push.exe -- +opam exec -- dune exec bin/push.exe -- -r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages \ --host https://blog.robur.coop \ --name "The Robur team" \