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 | 1f4209980e72485818f05abc81971aa55e593811 (patch) | |
| tree | 5525ef37069ef8c7d26a4af6b858f12e50000e2a /debian | |
| parent | defd3331c298862ebd19e444328a38d7409b55d8 (diff) | |
1999-06-01 Marcus Brinkmann <brinkmd@debian.org>
* servers.boot: Remove obsolete $(default-pager) tag.
Diffstat (limited to 'debian')
| -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) |