diff options
author | Jeremie Koenig <jk@jk.fr.eu.org> | 2010-08-01 13:35:57 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2010-08-01 13:35:57 +0200 |
commit | 16c741ccaea1356d29e6d9d0ca93bd3a98c2d934 (patch) | |
tree | 195cf0476c502a69f7afca3b46b21f0a6e40cc8a /debian/patches/series | |
parent | 50861e36b4126aebba2ece7ab0bc3b61ff26add8 (diff) |
Sort out how device and server nodes are created
- debian/patches/makedev_keep_options.patch: Introduces the -k and -K
options to MAKEDEV, respectively to keep active translators running or
leave existing files alone completely.
- debian/patches/makedev_parted_store.patch: MAKEDEV -p will use parted
instead of device stores for disk partitions.
- debian/local/setup-translators: New script installed in /usr/lib/hurd,
uses MAKEDEV's new options to create all the necessary device and
server nodes.
- debian/local/runsystem (hurd-udeb): Uses setup-translators in "minimal
mode" to prepare the initrd when the installer is started. Parted
stores are used to avoid problems when reloading the partition table.
- debian/hurd.postinst: Uses setup-translators to create missing nodes on
upgrades (on initial installs, debootstrap will use the
setup-translators script from the installed hurd package to setup the
devices and servers itself).
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index bdc0719d..aaa67b3b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -22,3 +22,5 @@ libpthread_fix.patch extern_inline_fix.patch proxy-defpager.diff libpthread_procfs.patch +makedev_keep_options.patch +makedev_parted_store.patch |