Content of our blog
Find a file
2024-04-16 14:22:06 +02:00
articles move stuff around 2024-04-16 14:22:06 +02:00
css First commit 2023-11-13 19:13:44 +01:00
images EC article 2024-02-13 16:37:29 +01:00
js First commit 2023-11-13 19:13:44 +01:00
pages First commit 2023-11-13 19:13:44 +01:00
src include if git worktree was dirty 2023-11-16 09:02:40 +01:00
templates Remove the last ref to blog.osau.re 2023-11-13 19:18:45 +01:00
blogger.opam since yocaml was released, no need for pin-depending on it 2024-02-13 14:32:16 +01:00
dune-project First commit 2023-11-13 19:13:44 +01:00
LICENSE First commit 2023-11-13 19:13:44 +01:00
README.md Fix a bit the README.md 2024-02-21 10:49:33 +01:00
update.sh add update script 2023-11-15 10:04:02 +00:00

How to add an article?

The Git repository contains 2 branches:

  • the main branch which has the blog engine
  • the gh-pages (as GitHub) which contains the generated website

The user can have an overview of the website via:

$ 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

A little server run on http://localhost:8888.

The user can add an article into the articles/ directory. The format is easy. A simple header which starts with --- and finish with ---. Inside, you have a YAML description of the article where some fields are required:

  • date
  • article.title
  • article.description
  • tags

You can specify an author (with its name, email and link) or not. By default, we use team@robur.coop. If everything looks good, you can generate via the blogger.exe tool the generated website via:

$ dune exec src/blogger.exe -- push \
  -r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages
  [--name "The Robur team"] \
  [--email team@robur.coop]

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.

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.