Fetch GitHub Pull Requests Locally

It’s by no means a secret thing and Google will be the first to tell you, but by the off chance that someone hasn’t thought about it, here’s just the command how to do it.

git fetch origin pull/<id>/head:<branch>

<id> refers to the pull request id on GitHub
<branch> refers to a custom branch name of your choosing
Note: You can’t push back changes, but you can push them to your repository and create a new pull request.

Since we’re merging pull requests manually at SFML, it’s a command I’m using very frequently.

Visual Studio Tip: Save Layouts

When working a lot with Visual Studio, you’ll run into the issue of managing your windows properly. You may spend quite some time figuring out the perfect layout, only to have Visual Studio randomly move a window around again, when you have to restart Visual Studio. Or you keep rearranging your windows depending on what you’re currently working on. Either way, you spend too much time fighting the IDE, instead of getting work done. Continue Reading “Visual Studio Tip: Save Layouts”

Kirby CMS & Plugins

For many years I’ve been playing around with various PHP-based content management systems (CMS). From self-made to well-known ones like Drupal, I’ve seen quite a range and yet they all never really could provide enough flexibility for the developer and easy of use for the website maintainer at the same time. I don’t want to go into much details here, but the goal should simply be, that as a developer you want to create a site and as a website maintainer you want to edit all parts of the websites without developer involvement. Getting to that goal while not having to invest huge amounts of time into learning all ins and outs of a CMS is hard to reach.

Continue Reading “Kirby CMS & Plugins”

Top 5 Podcast I Listen To

It’s interesting how things develop. I remember quite well how my brother used to download and listen to interesting podcasts 10 or so years ago, yet it felt like podcasts lost on popularity over the past years and only now is again gaining some major uplift. There are many YouTubers out there who noticed the medium and given its potential with ad placements, it has turn out to be more profitable that just creating YouTube videos.

It’s no surprise then that mainly two YouTubers brought me to discover and listen to podcasts myself.

Continue Reading “Top 5 Podcast I Listen To”

Generate a DEF file from a DLL

Last night I spend multiple hours trying to get a non-broken CSFML build ready, which requires to have import libraries for MSVC and GCC that both depend on the same DLL. This works because the import library only points to the symbols that are in the DLL, thus acts as sort of instruction how to use the DLL.

Continue Reading “Generate a DEF file from a DLL”

When fitness tracking reveal bases

The other day I stumbled up on a thread in my Twitter feed, where people have located army bases based on fitness tracking heat maps released by Strava. Here’s an example of what the data looks like: Drone base in Djibouti

Drone base in Djibouti
Soldiers running around the perimeter or just a simple patrol?


Nice drones!

Continue Reading “When fitness tracking reveal bases”

Rule of Thumb – Linking Order

Those newer to programming in C++ often fail to understand that compilers like GCC or Clang require a specific link order for the libraries in use or they don’t know what order to pick. Working on SFML and helping out in its community, I’ve had the pleasure to help people fix their linker errors many times and every now and then I’d explain a short rule of thumb one can keep in mind when specifying libraries to be linked. As such I wanted to share it here with you too.

Continue Reading “Rule of Thumb – Linking Order”

Theme Update

Every now and then I decide to update my blog’s theme. It’s not that there was anything really wrong with the old theme, but I just like the change from time to time.

I think it’s the first time however that the blog is running a bright/white theme instead of the dark one. While I do like dark themes, the ones I’ve used in the past always made it feel like the theme itself is blending too much with the content. Maybe increasing the font color and adjusting some styling would have helped, but in some strange way, brighter themes also seem a bit more professional or more mature. I’m not trying to make this blog anything special, I just want to try something new.

Continue Reading “Theme Update”