bash: place interactiveShellInit at the end to be able to override existing settings