diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-07-18 18:46:12 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-07-18 18:46:12 +0000 |
| commit | 4a195b9e39549cff9e98ef9780c24127f0ad9150 (patch) | |
| tree | f32b272a6d3ff3f35bfde58fdd84292d92e740f8 /debian/servers.boot | |
| parent | f6a03533282b51e447df51fd7563be17ed999c59 (diff) | |
2001-07-18 Marcus Brinkmann <marcus@gnu.org>
* rc: Do not excempt random-seed when cleaning up /var/run. State
data should be in /var/lib (FHS) or /var/state.
* changelog: Update to current version.
* debian/servers.boot: Add die $(serverboot).
Diffstat (limited to 'debian/servers.boot')
| -rw-r--r-- | debian/servers.boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/servers.boot b/debian/servers.boot index 1ddd7b91..2eb4da05 100644 --- a/debian/servers.boot +++ b/debian/servers.boot @@ -17,3 +17,6 @@ # You can also add swap partitions to /etc/fstab. #/dev/hd0s2 $(add-linux-paging-file) +# Don't make serverboot the default pager. The real default pager will +# we started early in /libexec/rc. +die $(serverboot) |