bash: update profile