[kasse]

That is strange since when I click on the terminal I assume that it starts sh since it has the $ prompt and export command works, so it is not csh. But it still does not read in the paths in ~/.profile or ~/.shrc, even when I explicitly run sh.