shell が ksh なんて珍しいな。まずは echo $SHELL してみれ。
恐らく tcsh か bash でせう。
手動で読み込むには . .kshrc とか source .kshrc とか?