diff options
Diffstat (limited to 'debian/local/runsystem')
| -rwxr-xr-x | debian/local/runsystem | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/debian/local/runsystem b/debian/local/runsystem index ddb45270..4911907c 100755 --- a/debian/local/runsystem +++ b/debian/local/runsystem @@ -5,10 +5,8 @@ export PATH umask 022 -# Create a minimal subset of device and server nodes -/usr/lib/hurd/setup-translators -m -k -p - -/hurd/mach-defpager +mkdir -p /servers/socket +settrans -c /servers/socket/1 /hurd/pflocal mem=`vmstat-hurd --size -k` if [ "$mem" -lt 240000 ] @@ -21,6 +19,11 @@ then done fi +# Create a minimal subset of device and server nodes +/usr/lib/hurd/setup-translators -m -k -p + +/hurd/mach-defpager + # Get all kernel parameters that can be exported as environment variables envvars="$(echo $* | tr ' ' '\012' | egrep '^[-_/[:alnum:]]+=.*$')" |