Category for posts on various tools
After nearly 10 years, I’m finally back on fiber and with my favorite internet provider Init7! At the end of 2022, a company in service of Swisscom installed fiber connections in the cellar of the building I’m living in. Getting any information on the timeline of the availability was however quite a frustrating journey. I […]
Once your Visual Studio solution starts growing, it often ends up integrating some maybe less than standard ways to do something. For example you introduce some custom MSBuild steps, output multiple projects to the same directory, or have things like WiX projects in your solution. Understanding what is actually going on when you build the […]
A good old fashioned RTFM would have probably saved me a bunch of time the other week, while playing around with MSBuild’s <Exec … /> task. In order for future me or anyone else randomly stumbling up on my blog, to not have to succumb to the same fate, let me share a few tips […]
Recently, I came back to an existing WSL2 installation of MySQL, which unfortunately failed to start the mysql service (“MySQL has been frozen to prevent damage to your system.”). As I didn’t need any of the data, that I potentially used in the past, I decided to do a clean reinstallation of mysql-server, which turned […]
I’m a strong proponent for rebase workflows with Git – it just makes so much more sense to me, having the history be based on the latest changes, rather than interweaving the changes with back merges. Okay, but that’s a topic for another time, here’s what new thing I just found out about git rebase: […]
While playing around with getting a specific version of MinGW to run within a GitHub Actions, I had to add the MinGW’s bin/ directory to the PATH environment variable. This isn’t as straight forward as it would be in a batch or PowerShell script, because each GitHub Actions step is executed in an isolated fashion, […]
In the past whenever I had to manage a Windows Server, I used RDP (Remote Desktop Protocol) to connect to the server and manually click around to change the necessary settings. While working with Ansible to setup a Windows build agent, I realized that starting with Windows 10, Windows does ship with support for OpenSSH […]
In the previous posts, I’ve written about MkDocs and Material for MkDocs (Static Site Generation from Markdown with MkDocs & Publishing a Static Site to Cloudflare Pages), but only realized the other week, that this also aligns pretty well with my other post on funding of open source projects (FOSS and Funding), because Martin Donath, […]
In the last post, I wrote about using MkDocs or rather Material for MkDocs for static site generation from Markdown files. You can build the a distribution yourself and put it on any hoster of your choosing, or you could use a variety of static site hosts, like GitHub Pages, or Netlify. I opted for […]
For a side project I’ve been looking into static site generators and came across MkDocs or more specifically Material for MkDocs, which bundles a nicer theme and some useful default plugins into one package and with great documentation. As the name implies MkDocs was primarily developed to write documentation, but it also works quite nicely […]