mldonkey: opam, dune, ocaml 5 and static builds
mldonkey: opam, dune, ocaml 5 and static builds
One of the things mldonkey is missing is ocaml 5 support, so I decided to try to port it. In the docker image I currently provide on Docker Hub, I[...]
One of the things mldonkey is missing is ocaml 5 support, so I decided to try to port it. In the docker image I currently provide on Docker Hub, I[...]
I’ve been using mldonkey for many years now, and I consider it an awesome tool: it is fast, stable and reliable. Its web interface works well, but it is pretty[...]
It seems this configuration is sometimes a bit tricky. At home, I wanted to configure a Raspberry Pi with a OpenVPN docker container, a DNS server (unbound) and other services.[...]
When developing software for installations that need to remain up for very long time without being restarted, it is pretty relevant to monitor it to verify it is working properly.[...]
Running a light VNC Linux Desktop on docker on a regular desktop or on a small arm board may be of help in some cases. I recently needed it once[...]
Sometimes I need to have specific versions of Qt to build apps and run CI tasks. In this article I introduced what I used for this purpose: a multi-arch docker[...]
Polr is a cute self-hosted service that allows you to shorten URLs with a practical web interface. Unfortunately, as usual, I couldn’t find a good docker image for arm devices.[...]
I really like this excellent piece of software. I found some docker images for it for the arm64 architecture, but they seemed not to be very up to date, so[...]
I recently had to rebuild the Ubuntu kernel for the Raspberry Pi pretty often to apply some patches. Building on the Pi is simple, but takes A LOT of hours[...]
NOTE: this project now also includes Android builds of Qt. Refer to updated articles to know more. Intro It happens from time to time that I would benefit from having[...]
I recently started to use MediaWiki as a way to store personal information, notes, links etc… It is comfortable to have all that info with me, properly structured, immediately editable[...]
Blog It’s been many years now since I started to use a Pi as a version control server. I recently even started to use it more heavily for my development,[...]