From 0e61d137c47c6d642705a670fe30d8959aaacfa1 Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Wed, 21 Feb 2024 10:49:33 +0100 Subject: [PATCH] Fix a bit the README.md --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 67294de..241a4ce 100644 --- a/README.md +++ b/README.md @@ -8,6 +8,7 @@ The user can have an overview of the website via: ```shell-session $ git clone git@git.robur.coop:robur/blog.robur.coop $ cd blog.robur.coop/ +$ opam pin add -yn . $ opam install --deps-only blogger $ dune exec src/blogger.exe -- watch ``` @@ -35,8 +36,8 @@ $ dune exec src/blogger.exe -- push \ 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` to update -the unikernel with the last version of the blog. +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. You can also use the `update.sh` script to update the blog with the builder user on the server machine.