All posts tagged shell
Posted on 1. February 2022

The best shell tools I use as a developer

As a software engineer, I am using the shell a lot. Besides the IDE, it is the most important tool. Since working in the shell can be complex sometimes, it is important to find the right tools which not only makes working in the shell a lot of fun but also boost your productivity.
Posted on 6. May 2013

Resize images and save with new name recursively with bash

When we prepared the relaunch of with our new and awesome responsive layout, we needed to resize a bunch of flyer, location and avatar images (~1.000.000). One of our requirements was that we save the images with a new tag so we won’t affect the running application.
Made with ♥️ and Gatsby © 2022