Add a note about the update.sh script

This commit is contained in:
Robur 2023-11-15 10:07:36 +00:00
parent 7097c88d3b
commit 2b5abed59e

View file

@ -29,7 +29,6 @@ via the `blogger.exe` tool the generated website via:
```shell-session ```shell-session
$ dune exec src/blogger.exe -- push \ $ dune exec src/blogger.exe -- push \
-r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages -r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages
--hook https://blog.robur.coop/hook \
[--name "The Robur team"] \ [--name "The Robur team"] \
[--email team@robur.coop] [--email team@robur.coop]
``` ```
@ -40,4 +39,7 @@ 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` to update At the end, an HTTP request will be send to `https://blog.robur.coop` to update
the unikernel with the last version of the blog. 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.
**NOTE**: don't forget `#gh-pages`! Also, you probably should do a `git pull`. **NOTE**: don't forget `#gh-pages`! Also, you probably should do a `git pull`.