Simple PHP scripts to customise terminal titles based on their pwd