Dev Full

/dev/full If you have ever written or read some shell scripts you might have come across the /dev/null device to discard output. Today i learned about another special file i’ve never seen used before: /dev/full. It pretty much does what it says. It is a device with no space left! You can use it to easily test how (your) scripts handle writing to a full device. $echo "I hope this will be written somewhere" > /dev/full echo: write error: no space left on device Neat!...

March 31, 2022 · 1 min · Histalek

Just Make It

just Make This year i’ve really started to use Make and therefore Makefiles. For university, for work, for open-source and simply for me because i’m lazy and i like to type the least amount possible. Especially after reading this TIL from Sheogorath and the referenced blog by Victoria Drake i felt like using self-documenting Makefiles like this: SHELL := /bin/bash .POSIX: .PHONY: help lint install help: ## Show this help @egrep -h '\s##\s' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":....

June 23, 2021 · 4 min · Histalek