bin/mksh man/man1/mksh.1.gz @exec echo "updating /etc/shells"; cp /etc/shells /etc/shells.bak; (grep -v %D/%F /etc/shells.bak; echo %D/%F) >/etc/shells @unexec echo "updating /etc/shells"; cp /etc/shells /etc/shells.bak; (grep -v %D/%F /etc/shells.bak) >/etc/shells %%PORTEXAMPLES%%%%EXAMPLESDIR%%/dot.mkshrc %%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%