It’s been a while…
Hi! Just letting you know it’s been a while.
Coming up with blog post titles
As you may know, I’m not a blogger, I’m a developer, and thus I know very little about actual blogging and generally don’t give a…
`git clone` and `git pull` a lot faster
So you replaced your system and want to start fresh? Or you lost your projects folder, but it’s still hosted on a git server somewhere?…
Configuring a Different SSH Key per Git Repository [updated]
Usecase: you need to manage multiple git accounts (e.g. private and work), with each their own SSH key. Example: you use host Bitbucket privately, and…
Open ports when using FRITZ!Box’ “Internetanwendungen beschränken”
If you ever find yourself connected to a Guest Access on a FRITZ!Box with limited internet access (labeled “Internetanwendungen beschränken” in the settings), you might…
Git Aliases
If there is a Git command you seem to be using frequently, consider using an alias to do so. Aliases come in many different shapes,…
GIT: interact between two branches
Wow, this is one of the best things I’ve discovered in recent history. Not the best, that’s something completely different, but certainly one of the…
Deleting an app
Recently Timehop got hacked and some data was retrieved from their servers. Now you might want to delete this app, because you feel exposed. Deleting…
Update PhpStorm on Linux
Simple script to update PhpStorm on Linux: https://gist.github.com/bondt/64e1f914a87ac281ce26c16bf835d9a0
Headless setup raspberry pi?
A few days ago I had to reinstall my Raspberry Pi, because the SD card was too slow for my taste. I got raspbian, flashed…