From a0faecab9371d537a3d8d18f451421bc31ef6a07 Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Wed, 18 Jul 2001 18:46:12 +0000 Subject: 2001-07-18 Marcus Brinkmann * 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). --- debian/ChangeLog | 7 +++++++ debian/changelog | 15 ++++++++++----- debian/rc | 2 +- debian/servers.boot | 3 +++ 4 files changed, 21 insertions(+), 6 deletions(-) diff --git a/debian/ChangeLog b/debian/ChangeLog index 77b01b92..8d6d4f25 100644 --- a/debian/ChangeLog +++ b/debian/ChangeLog @@ -1,3 +1,10 @@ +2001-07-18 Marcus Brinkmann + + * 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). + 2001-06-17 Marcus Brinkmann * changelog: Update to current version. diff --git a/debian/changelog b/debian/changelog index 1c3a042e..3611a1a3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,13 @@ +hurd (20010718-1) unstable; urgency=low + + * New snapshot from CVS. + * Additional patches: + kbd, mouse as usual. + Change terminal type to mach-color. + Compiled with -O2 rather than -O3. + + -- Marcus Brinkmann Thu, 18 Jul 2001 21:43:52 +0200 + hurd (20010608) unstable; urgency=low * New snapshot from CVS. @@ -274,8 +284,3 @@ hurd (19980716-1) unstable; urgency=low * Initial Version. -- Marcus Brinkmann Tue, 4 Aug 1998 21:58:55 +0200 - -Local variables: -mode: debian-changelog -add-log-mailing-address: "bug-hurd@gnu.org" -End: diff --git a/debian/rc b/debian/rc index 45592c9f..d56a5f3f 100755 --- a/debian/rc +++ b/debian/rc @@ -86,7 +86,7 @@ fi if test -d /var/run; then (cd /var/run && { - find . ! -type d ! -name utmp ! -name innd.pid ! -name random-seed \ + find . ! -type d ! -name utmp ! -name innd.pid \ -exec rm -f -- {} \; cp /dev/null utmp if grep -q ^utmp: /etc/group 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) -- cgit v1.2.3