Is there a way to get the command to pick up the user's .bash_profile other than having to source it manually at the start of a record session? Like to be able to record custom prompt which shows the git branch etc.