Ich habe Ubuntu (Bash) Linux unter Windows 10 (das mit dem Windows-Jubiläumsupdate geliefert wird) installiert und angefangen, damit herumzuspielen. Was mir aufgefallen ist, dass beim Starten der Shell (Ubuntu Bash) weder .profile noch .bash_profile geladen werden, obwohl die .profile-Datei...