A somehow useful bash profile