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 | a0faecab9371d537a3d8d18f451421bc31ef6a07 (patch) | |
| tree | 4a80be474e9a9bb196265592fd447383a49057d6 | |
| parent | a9c1365872e9554de8f45cd859c57c5192b51a8e (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).
| -rw-r--r-- | debian/ChangeLog | 7 | ||||
| -rw-r--r-- | debian/changelog | 15 | ||||
| -rwxr-xr-x | debian/rc | 2 | ||||
| -rw-r--r-- | 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 <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). + 2001-06-17 Marcus Brinkmann <marcus@gnu.org> * 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 <brinkmd@debian.org> 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 <brinkmd@debian.org> Tue, 4 Aug 1998 21:58:55 +0200 - -Local variables: -mode: debian-changelog -add-log-mailing-address: "bug-hurd@gnu.org" -End: @@ -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) |