History SOURCES/kshrc.rhs