diff options
| author | Michael Banck <mbanck@debian.org> | 2007-11-15 18:57:37 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2007-11-15 18:57:37 +0000 |
| commit | 07bf5bc972b2321937ce6073452d44eeabd2194a (patch) | |
| tree | 1136019bfd4cce54530f87eaa7c42c26da55791d /debian/patches/runsystem_setup_pflocal.patch | |
| parent | 8215e2d356565f846b6e4d552baef0c7c1fc5110 (diff) | |
* debian/patches/runsystem_setup_pflocal.patch: New patch, sets up
pflocal during bootup if this has not been done before (in the install
case).
* debian/hurd.dirs: Added servers/socket.
Diffstat (limited to 'debian/patches/runsystem_setup_pflocal.patch')
| -rw-r--r-- | debian/patches/runsystem_setup_pflocal.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/runsystem_setup_pflocal.patch b/debian/patches/runsystem_setup_pflocal.patch new file mode 100644 index 00000000..e7526e6d --- /dev/null +++ b/debian/patches/runsystem_setup_pflocal.patch @@ -0,0 +1,15 @@ +--- daemons/runsystem.sh 2007-11-15 19:41:12.000000000 +0100 ++++ deamons/runsystem.sh 2007-11-15 19:43:39.000000000 +0100 +@@ -53,6 +53,12 @@ + } + + ++# See whether pflocal is setup already, and do so if not (install case) ++ ++if ! test -e /servers/socket/1 && which settrans >/dev/null ; then ++ settrans -c /servers/socket/1 /hurd/pflocal ++fi ++ + # We expect to be started by console-run, which gives us no arguments and + # puts FALLBACK_CONSOLE=file-name in the environment if our console is + # other than a normal /dev/console. |