🧑💻 a blog about coding, devops, and stuff.
TIL: multiple git-identities on one machine
Turns out you can have multiple Git identities alongside each other on one Machine without needing to set them locally for each repository! It still involves multiple .gitconfig files, but it’s a lot less work than configuring an endless amount of repos! First, set the global config like this: Now in ~/AOE/.gitconfig I configure the […]
Unpinned dependencies just broke my plugin
TIL: One-line list manipulation in Python
In Python there’s a one-line syntax for iterating over elements of a list. I’ve always found it looked kind-of odd, and as I need to look it up all the time I decided to write a little TIL on this blog about it. There are more powerful one-liners documented on the Python Wiki.
Publishing and building a static website on GitHub Pages
A week ago or so I finally launched a small website I’ve been working on for quite some time: kevin.gimbel.dev/ops – it’s a colourful static website showing some of the technologies I’ve worked with in the past years since I began doing DevOps full time. The website is built with 11ty and published with GitHub […]
How to extend and reuse configs in Gitlab CI
When I began using Gitlab CI the first thing I wanted to know was how to reuse configs. I know that we’ll have changing requirements at work and that we’ll have hundreds of repositories using basically-the-same configurations so I wanted to make sure we’d have a central place to make changes to these. I found […]
TIL: Replace git URLs in Gitlab CI
When working with Gitlab as a storage for Terraform or Ansible modules you probably access them using SSH, like email@example.com:group/project.git. This has the advantage that authentication is done using SSH keys and everybody on your team can access the repositories just like they’d do when cloning on the terminal – no need for entering passwords during […]
You can follow this blog via ActivityPub at
firstname.lastname@example.org, follow my Mastodon account at @KevinGimbel@fosstodon.org, or subscribe via RSS.