diff options
Diffstat (limited to 'debian/local/runsystem.gnu')
| -rwxr-xr-x | debian/local/runsystem.gnu | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/local/runsystem.gnu b/debian/local/runsystem.gnu index 198ce2e1..ccf56bf6 100755 --- a/debian/local/runsystem.gnu +++ b/debian/local/runsystem.gnu @@ -16,6 +16,7 @@ settrans -c /servers/crash-kill /hurd/crash --kill settrans -c /servers/password /hurd/password settrans -c /servers/crash-suspend /hurd/crash --suspend settrans -c /servers/crash-dump-core /hurd/crash --dump-core +settrans -c /servers/default-pager /hurd/proxy-defpager settrans /proc /hurd/procfs ln -s crash-kill /servers/crash ln -s 1 /servers/socket/local |