Per ovviare al problema, basta creare un file .bashrc nella directory principale del proprio utente (C:\Users\Nomeutente) e inserirvi dentro il seguente codice:
source ~/.bash_profile
Blog di informatica, con guide pratiche per Windows, Mac e Linux,, articoli su software e hardware dal mondo della tecnologia.