From 6d52fc2d5f9c13b65b3f678584d8dff089932672 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Tue, 1 Jun 1999 22:07:29 +0000 Subject: 1999-06-01 Marcus Brinkmann * servers.boot: Remove obsolete $(default-pager) tag. --- debian/servers.boot | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'debian') 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) -- cgit v1.2.3