robur/blog.robur.coop
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix a bit the README.md

Browse source
This commit is contained in:
Calascibetta Romain 2024-02-21 10:49:33 +01:00
parent d1e411bf7e
commit 0e61d137c4
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
README.md
View file

@ -8,6 +8,7 @@ The user can have an overview of the website via:
```shell-session ```shell-session
$ git clone git@git.robur.coop:robur/blog.robur.coop $ git clone git@git.robur.coop:robur/blog.robur.coop
$ cd blog.robur.coop/ $ cd blog.robur.coop/
$ opam pin add -yn .
$ opam install --deps-only blogger $ opam install --deps-only blogger
$ dune exec src/blogger.exe -- watch $ 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 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 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à! 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` (via
the unikernel with the last version of the blog. 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 You can also use the `update.sh` script to update the blog with the builder user
on the server machine. on the server machine.