a few bash shell programs