diff options
author | rsc <devnull@localhost> | 2005-01-07 23:11:02 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-07 23:11:02 +0000 |
commit | 0070bb81c4729c1414a93534282d7840e83d88b0 (patch) | |
tree | 5f21a548757da10a077928e24ac64d70fb2d7001 | |
parent | 0a76e9690e8e9e128a9836a338deb32310e49cb3 (diff) | |
download | plan9port-0070bb81c4729c1414a93534282d7840e83d88b0.tar.gz plan9port-0070bb81c4729c1414a93534282d7840e83d88b0.tar.bz2 plan9port-0070bb81c4729c1414a93534282d7840e83d88b0.zip |
tweaks
-rwxr-xr-x | INSTALL | 13 | ||||
-rw-r--r-- | lib/moveplan9.files | 1 | ||||
-rw-r--r-- | lib/moveplan9.sh | 4 |
3 files changed, 14 insertions, 4 deletions
@@ -3,12 +3,21 @@ PLAN9=`pwd` export PLAN9 PATH=$PLAN9/bin:$PATH export PATH +echo "Building mk..." cd src make +echo "Building everything..." mk clean +echo "Installing everything..." mk install +echo "Cleaning up..." mk clean +echo "Renaming hard-coded paths to /usr/local/plan9..." +cd $PLAN9 +sh lib/moveplan9.sh -echo "Set PLAN9=$PLAN9 in your profile environment." -echo 'Add $PLAN9/bin to your PATH.' +echo " " +echo "Add these to your profile environment." +echo " PLAN9=$PLAN9 export PLAN9" +echo ' PATH=$PATH:'"$PLAN9/bin export PATH" diff --git a/lib/moveplan9.files b/lib/moveplan9.files index fc1312b9..b482ec14 100644 --- a/lib/moveplan9.files +++ b/lib/moveplan9.files @@ -1,5 +1,6 @@ bin/" bin/"" +bin/9 bin/Getdir bin/adict bin/doctype diff --git a/lib/moveplan9.sh b/lib/moveplan9.sh index 85c6d082..96a356f4 100644 --- a/lib/moveplan9.sh +++ b/lib/moveplan9.sh @@ -2,9 +2,9 @@ p=`cleanname $PLAN9` cd $PLAN9 -echo ' +echo " X ,s;/usr/local/plan9;$p;g X/'/w q -' | sam -d `cat lib/moveplan9.files` man/man*/*.* # >/dev/null 2>&1 +" | sam -d `cat lib/moveplan9.files` man/man*/*.* >/dev/null 2>&1 |