diff options
| author | William Hubbs <w.d.hubbs@gmail.com> | 2012-10-19 20:53:46 -0500 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2012-10-19 20:53:46 -0500 |
| commit | 2a9de2df5825708f67cb2decbe0368bad2ae3dd2 (patch) | |
| tree | 745e28d5901b490e961ea747ec486c933f373936 /init.d | |
| parent | 2ee3e9d95293ffb91ae9b5a9b4914b370e3e742f (diff) | |
devfs: Remove references to specific device managers
There were references in the devfs script to mdev, udev and
udev-mount. These all provide the virtuals dev and dev-mount; that is
how we should refer to them.
I believe in the discussion I had with Tony and Robin about this, we
were going to change the "use" line to "need". However, after thinking
that over, I'm not comfortable doing so because someone could be running
a static /dev with no device manager.
Reported-by: <tokiclover@gmail.com>
X-Gentoo-Bug: 438932
X-Gentoo-Bug-URL: https://bugs.gentoo.org/show_bug.cgi?id=438932
Diffstat (limited to 'init.d')
| -rw-r--r-- | init.d/devfs.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/init.d/devfs.in b/init.d/devfs.in index 8d5bb489..9e313770 100644 --- a/init.d/devfs.in +++ b/init.d/devfs.in @@ -5,8 +5,8 @@ description="Mount system critical filesystems in /dev." depend() { - use dev-mount udev-mount - before udev mdev + use dev-mount + before dev keyword -prefix -vserver } |