p ∈ "Bash"


genhostid emulates genhostid(1), available on RHEL/CENTOS, for distros which do not provide that utility. […]

ffmpeg screencaster

ffmpeg-screencaster is a basic script to make screencasts with the simple yet excellent FFmpeg command-line software. […]

distcc propagator

distcc propagator is a helper script to help propagate a configuration on hosts and clients in a distcc-enabled network ; its features are: […]

Gentoo bug reporter

gentoo-bug-reporter is a simple script that gathers useful information when a Gentoo ebuild (package) fails to build. […]

Filename fixer

The story behind is worth telling : as the FP was working as a network- and sys-admin in a small IT company near Lausanne, his boss informed him he was to stay for the entire weekend. […]