cirno/plan9port
1
0
Fork 0
mirror of https://github.com/9fans/plan9port.git synced 2025-01-12 11:10:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

INSTALL: do not rm config after setting it up

Browse source 
Fixes #334.
This commit is contained in:
Russ Cox 2020-01-13 23:38:04 -05:00
parent b741db607a
commit 952a9afae0
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
INSTALL
View file

@ -23,6 +23,13 @@ x-r)
exit 1 exit 1
esac esac
echo "+ Mailing list: https://groups.google.com/group/plan9port-dev"
echo "+ Issue tracker: https://github.com/9fans/plan9port/issues/"
echo "+ Submitting changes: https://github.com/9fans/plan9port/pulls"
echo " "
echo "* Resetting $PLAN9/config"
rm -f config
PLAN9=`pwd` export PLAN9 PLAN9=`pwd` export PLAN9
PATH=/bin:/usr/bin:$PLAN9/bin:$PATH export PATH PATH=/bin:/usr/bin:$PLAN9/bin:$PATH export PATH
case `uname` in case `uname` in
@ -58,13 +65,6 @@ DragonFly|*BSD)
;; ;;
esac esac
echo "+ Mailing list: https://groups.google.com/group/plan9port-dev"
echo "+ Issue tracker: https://github.com/9fans/plan9port/issues/"
echo "+ Submitting changes: https://github.com/9fans/plan9port/pulls"
echo " "
echo "* Resetting $PLAN9/config"
rm -f config
( (
if [ `uname` = Linux ]; then if [ `uname` = Linux ]; then
# On Linux, we use the kernel version to decide whether # On Linux, we use the kernel version to decide whether