detect os type in bash profile