the public hub for my projects, notes, …
This small update fixes/improves version-info usage captured from the Sources Collected Data Viewer window. They are not used anymore in sources that don’t allow them. It’s a QoL (Quality of Life) improvement designed to make manual selection of the newest candidate easier and more reliable. The setup kit is signed with my new public PGP key, i.e. you shall download it from the link in … Continue reading Released Horodruin 2026.4.840.0 »
This small update fixes an old problem in external tools config form. The program is available here.
This small update redefines the right-click menu experience for easier access to automated tasks. It moves these options from the context menu to a new prompt in the program, accessible by double-clicking a project file. A new command-line switch is also added to trigger this prompt. The program is available here.
This update introduces changes to the installation process and some important considerations for users. New Installation Modes The installer now supports two operation modes: Private mode (default): Installs the application in the current user’s profile space without requiring elevated permissions. The program will only be available to the current user. Shared mode: Requires administrator privileges and installs a shared instance accessible to all users on … Continue reading Released Horodruin 2026.2.836.0 »
updated: 01/02/2026 In my previous post, I wrote about using GIT with an SVN server for usual tasks. One of these was cloning an SVN repository. This topic can be used to convert an SVN repository to GIT one with all its revision history. The Process We can use the cloning command to set up the starting revision of our new GIT clone, by the … Continue reading HOWTO Convert SVN repository to GIT »
To rename a GIT branch, we must follow two separate steps. Rename the local branch Switch to the branch we need to rename, and then type the command below: git branch -m <new branch name> Rename the remote branch This step is necessary only if the old branch already exists in the remote repository. push the branch with the new name: git push -u <git_repo> … Continue reading HOWTO to rename GIT branch »
Released a new bug-fix version: – fixed problems with UNC long file names. link
Released a new shiny version: – fixed rare crash in file deletions processing. – restored missing & forgotten ‘2 seconds tolerance’ in files’ comparisons. – minor fixes & enhancements. link
I needed to have one or more MySQL-like DB instances ‘on demand‘ under Windows with minimal system modifications (like installing services, …) and baseline tasks. A good objective might be the ability to run it without any administrative access rights requirement. Installation After a short research, I chose the portable version of MariaDB (one of the best MySQL clones). Unzip and place the package where … Continue reading HOWTO install and setup a on demand MySQL-like DB on W11 »
With Windows 10’s incoming end-of-support, I started to study the destiny of some of my old PCs. A good idea might be to run the MS PC Health Check for a detailed view of the situation. Without a maintained OS, I might consider installing some linux distribution, or even dismiss the asset. My preferred solution would be to find a way to upgrade to W11 … Continue reading HOWTO Upgrade to W11 on PC with Unsupported CPU »