summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/ChangeLog7
-rw-r--r--debian/changelog15
-rwxr-xr-xdebian/rc2
-rw-r--r--debian/servers.boot3
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:
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)