I am convinced that reinstalling is the best solution. However we had a forgotten change directory ( cd ) in the .bashrc , so whatever we tried the shell never started in the expected directory.