diff options
| author | Samuel Thibault <sthibault@debian.org> | 2010-03-14 22:45:47 +0000 |
|---|---|---|
| committer | Samuel Thibault <sthibault@debian.org> | 2010-03-14 22:45:47 +0000 |
| commit | 6560f088ab948e42670f356466043794d551af63 (patch) | |
| tree | f9af42e50885e799e8ed9230a41cafe2baccc660 | |
| parent | 0e7202b5361c35c1e34bed0e2657d81a848c6a87 (diff) | |
also set up the default pager server
| -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 |