A library of shell functions