Articles tagged as “tools”

Bash set builtin

Shell scripts I come across sometimes have for instance “#!/bin/bash -eux” on the first line. Because I’ve Googled for this too many times now, I’ll record the meaning of these options here for my own sanity.

A week with Firefox instead of Chromium

My browser of choice has been Chromium for quite a while now. A couple of podcasts recently discussed how Chrome has become a memory hog and how Firefox has improved over the years. Time for an experiment.

Glances

Since I keep forgetting the name of this monitoring tool, I decided to create an article so I can jog my memory more easily.