▁▂▃▅▂▇ in your shell.

A full-featured & carefully designed adaptive prompt for Bash & Zsh

An easier way to update the firmware of your Raspberry Pi

Emoji on the command line 😱

Your friendly neighbourhood script for mangling images or video using audio editing tools

A dockerised OpenVPN server using LDAP for authentication, with optional 2FA via Google Authenticator

📝 Edit your Zsh history from the command line.

Open tDCS: tDCS Regulation Circuits - Open Source Hardware

A shell script to clone a running Raspberry Pi SD card to a USB mounted SD card.

Utilities for manipulating dates and times

PiDoorbell - home automation using RaspberryPi, Proximity sensor, GPIO

Dotfiles