Scripts for linux terminal shell customization