Em "Bash no Ubuntu no Windows", o shell aberto não é um "shell de login", o que significa que .bash_profile
não está sendo lido, como mencionado por @Zanna (obrigado!).
Você pode usar shopt
para ver se você está em um "login shell" ou não:
shopt login_shell
Como desejo manter tudo organizado e colocar personalizações em seus próprios arquivos, agora estou fazendo o sourcing de um arquivo personalizado de .bashrc
:
. ~/.bashrc_customizations