A small repository of bash scriptlets