diff options
| author | greg@kroah.com <greg@kroah.com> | 2004-02-18 23:59:54 -0800 |
|---|---|---|
| committer | Greg KH <gregkh@suse.de> | 2005-04-26 21:32:29 -0700 |
| commit | 7fdc5cb4454d21b3451d3492f45e3891e5780f75 (patch) | |
| tree | 99964cf33b35c0fb9ba71be38b82e94c2af89ecc /extras | |
| parent | de46ad1952a40911eeea9fd941f578b6dacc1cec (diff) | |
[PATCH] more HOWTO cleanups.
Diffstat (limited to 'extras')
| -rw-r--r-- | extras/start_udev | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/extras/start_udev b/extras/start_udev index caba5270c2..3c39fc9260 100644 --- a/extras/start_udev +++ b/extras/start_udev @@ -4,11 +4,22 @@ # # script to initialize /dev by using udev. # +# Copyright (C) 2004 Greg Kroah-Hartman <greg@kroah.com> +# +# Released under the GPL v2 only. +# # This needs to be run at the earliest possible point in the boot # process. # # Based on the udev init.d script # +# Thanks go out to the Gentoo developers for proving +# that this is possible to do. +# +# Yes, it's very verbose, feel free to turn off all of the echo calls, +# they were there to make me feel better that everything was working +# properly during development... +# . /etc/udev/udev.conf |