~/.bash_profile
normalmente não existe por padrão no OS X. Você precisa editá-lo com o editor de sua escolha para incluir:
PATH=$PATH:/<sdk_root>/tools
em que <sdk root>
é o caminho definido por $ SDK_ROOT.
.bash_profile é, em essência, um script de shell que é executado toda vez que você inicia uma nova sessão bash (também: crie uma nova janela ou guia de terminal, ou digite bash
em qualquer prompt). Assim, você pode adicionar qualquer pequeno trecho que desejar, coisas sérias, como variáveis de ambiente, ou coisas bobas, como fazer com que seja produzido uma arte ASCII engraçada.