pgmi-builds/better-dsh

Make your dsh ready for serious coding tasks.