Do you know how he set the custom prompt? I was trying to edit my .bash_profile and couldn't use emoji.