- the official OCaml documentation — in particular, start with:
- the so-called 99 problems in OCaml (a collection of quite standard exercises);
- the Real World OCaml (an online book providing a comprehensive insight on OCaml);
- the official OCaml reference manual;
- it might also be useful to have by hand the URL of the doc of the Stdlib module (i.e., the module of the standard library that is always loaded by default);
(* val type_ : Yojson.Safe.t -> [ `Plan | `State | `Unknown ] *) | |
let type_ json = | |
let module Plan = struct | |
type t = { | |
terraform_version : string; | |
planned_values : Yojson.Safe.t; | |
} | |
[@@deriving of_yojson { strict = false }] | |
end in |
#!/usr/bin/env python3 | |
""" | |
License: MIT License | |
Copyright (c) 2023 Miel Donkers | |
Very simple HTTP server in python for logging requests | |
Usage:: | |
./server.py [<port>] | |
""" | |
from http.server import BaseHTTPRequestHandler, HTTPServer |
In order to deploy using SSH, we need a SSH keypair. Please use an algorithm strong enough and also supported by GHA and your remote host.
You can use the command below to generate a keypair:
ssh-keygen -t ed25519 -C gha@vm-YourLogin -f ~/.ssh/id_gha
For this use case, don't use a passphrase (just type Return to select an empty passphrase).
In order to deploy using SSH, we need a SSH keypair. Please use an algorithm strong enough and also supported by GHA and your remote host.
You can use the command below to generate a keypair:
ssh-keygen -t ed25519 -C gha@vm-YourLogin -f ~/.ssh/id_gha
For this use case, don't use a passphrase (just type Return to select an empty passphrase).
Run these standard commands anytime you setup git
on a new workstation.
git config --global user.name "Prénom Nom"
git config --global user.email "[email protected]"
We assume you already configured MELPA and use-package.
Otherwise, see e.g. this ~/.emacs
template.
Then, add the following elisp snippet in your ~/.emacs
, in order to install:
This mini-tutorial describes a dangerous step (dowload a third-party bash script and execute/source it).
In a similar case, be always careful to:
- only do this from trusted sources (here, from a released tag in
https://github.com/git/git
) - and inspect the script beforehand! (i.e., always avoid any blind
curl … | bash
command)