diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-09 22:07:22 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-09 22:07:22 +0000 |
commit | b15f9b53da17640a69d5a184ca7f27833098a44c (patch) | |
tree | a3f9ea12f73449f8a763e36098b80a6ed7055958 /release | |
parent | b1710163c8d39fa8d6cc9468272119414e7e6689 (diff) |
Put pflocal on /servers/socket/local (which will be a link to
/servers/socket/1).
Diffstat (limited to 'release')
-rw-r--r-- | release/SETUP | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/release/SETUP b/release/SETUP index cb641adf..d14485ce 100644 --- a/release/SETUP +++ b/release/SETUP @@ -7,9 +7,7 @@ set -v fsysopts / --writable # Set up the PFLOCAL server so we can do pipes -touch /servers/socket/local -ln /servers/socket/local /servers/socket/1 -/bin/settrans /servers/socket/1 /hurd/pflocal +/bin/settrans /servers/socket/local /hurd/pflocal # Setup crucial devices cd /dev |