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 /sh | |
| 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 'sh')
0 files changed, 0 insertions, 0 deletions