[lkml]   [1998]   [Aug]   [17]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: Flexible Console open (really little patch)

    On Mon, 17 Aug 1998, david wrote:

    > >> This is a broken patch for a broken problem. Please, don't put this
    > >> kind of crud in the kernel.
    > >>
    > >> -hpa
    > >
    > > I don't think so. It solves a problem at a very easy way and does not
    > > hurt anyone. We support a few paths for the init program - why don't
    > > be flexible with the path of /dev/console? (Specialy if there is a good
    > > reason for: it's possible that /dev will be mounted later from a boot
    > > script.)
    > If the devfs "mount at boot time" option hasn't been selected, then the
    > user should select it. Making your root filesystem support a module
    > follows the same logic.
    > Let's do things the Right Way (TM) instead of hacking things into our
    > kernel. This kind of hacking eventually leads to an "alternative this or
    > that" all over the place.

    No - the idea is more to make it possible for the user to see all the
    warning messages generated by the boot scripts - so he can turn the option
    on. There is another point for allowing /etc/console: if the kernel opens
    /etc/console instead of /dev/console it's possible to unmount /dev from
    the single-user-mode (if you use /etc/console as tty). If one uses
    /dev/console, the device would be busy as long as init runs - so one could
    never unmount /dev (e.g. to see what's in /dev/ if devfs is not mounted).

    - clifford

    -- -- -- -- -- -- -- -- -- -- -- -- --
    Clifford Wolf
    magnet - Internet at Work IRC: efnet / clifford
    Director of System Development
    e-mail: email:

    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    Please read the FAQ at

     \ /
      Last update: 2005-03-22 13:44    [W:0.021 / U:5.620 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site