diff options
| author | Roland McGrath <roland@gnu.org> | 1999-06-01 22:07:29 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1999-06-01 22:07:29 +0000 |
| commit | 6d52fc2d5f9c13b65b3f678584d8dff089932672 (patch) | |
| tree | 10c6b5d82d9352a58c85098fc9eadd0cc1fec0dd | |
| parent | 84fa6ee8d4df55887798766c990876a28e265014 (diff) | |
1999-06-01 Marcus Brinkmann <brinkmd@debian.org>
* servers.boot: Remove obsolete $(default-pager) tag.
| -rw-r--r-- | debian/servers.boot | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/debian/servers.boot b/debian/servers.boot index 163389de..1ddd7b91 100644 --- a/debian/servers.boot +++ b/debian/servers.boot @@ -13,9 +13,7 @@ # left suspended; the fs will resume the exec task once it is ready. /lib/ld.so.1 /hurd/exec $(exec-task=task-create) -# Have serverboot act as our default pager. -$(default-pager) +# To swap to a Linux swap partition, use something like the following. +# You can also add swap partitions to /etc/fstab. +#/dev/hd0s2 $(add-linux-paging-file) -# To swap to a Linux swap partition, use something like the following -# instead of the above $(default-pager) line: -#/dev/hd0s2 $(add-linux-paging-file) $(default-pager) |