shorter terminal title for linux