Category: tools

Tips, tricks and tools to make it nice(r)

Git patches and how to apply them

Understanding git's push, pull and merge

An overview on how they compare to code editors

And some other ssh tips

Sed and awk's lost cousin

Stow your config files safely!

Wardly make it work

What you need

High level explanation of Docker's bits and pieces

Some very simple concepts

A needle in a haystack

Basics and not-so-basics

And not lose your sanity

Undo your mistakes

And while we're at it, learn how to set up Cron Jobs

You need one whether you know it or not