Improve profile advice for zsh users

This commit is contained in:
Andrés Delfino
2026-02-21 12:23:57 -03:00
committed by Dan Cross
parent a2d0459060
commit 6aa005a3b4

View File

@@ -208,8 +208,10 @@ if $doinstall; then
echo "* Done. " echo "* Done. "
echo " " echo " "
echo "* Add these to your profile environment." echo "* Add these to your profile environment."
echo " PLAN9=$PLAN9 export PLAN9" echo " PLAN9=$PLAN9"
echo ' PATH=$PATH:$PLAN9/bin export PATH' echo " export PLAN9"
echo ' PATH=$PATH:$PLAN9/bin'
echo " export PLAN9"
fi fi
) 2>&1 | tee install.log | $awk -f $PLAN9/dist/isum.awk -v 'copy='install.sum ) 2>&1 | tee install.log | $awk -f $PLAN9/dist/isum.awk -v 'copy='install.sum