bash_profile: ls should be in history