if fgrep KSH_VERSION etc/profile 1> /dev/null 2> /dev/null; then GOOD=y else echo 'if [ ! "$KSH_VERSION" = "" ]; then' >> etc/profile cat << EOF >> etc/profile . /etc/ksh.kshrc if [ -r $HOME/.kshrc ]; then . $HOME/.kshrc fi fi EOF fi if fgrep ksh etc/shells 1> /dev/null 2> /dev/null; then GOOD=y else echo "/bin/pdksh" >> etc/shells echo "/bin/ksh" >> etc/shells fi ( cd bin ; rm -rf ksh ) ( cd bin ; ln -sf pdksh ksh ) ( cd usr/man/preformat/cat1 ; rm -rf pdksh.1.gz ) ( cd usr/man/preformat/cat1 ; ln -sf ksh.1.gz pdksh.1.gz )