On Thu, 6 Jun 2002, Oron Peled wrote: > On Wed, 5 Jun 2002 16:00:57 +0300 (IDT) > Tzafrir Cohen <[EMAIL PROTECTED]> wrote: > > On Wed, 5 Jun 2002, Oron Peled wrote: > > > > It isn't in the dhcpd man because dhcpd DOES NOT USE THAT FILE! > > But RedHat's dhcpd does (at least in the way most users run it). > > No it does not! The RedHat /etc/init.d/dhcpd script does! > > > > Maybe we should have a man boot-scripts(8), pointed to by intro(8).. > > > [boot-script(7) pointed-to by intro(7), you mean] > > Hmmm... I think you are right that section 7 is better place. > > > And also by dhcpd(8) . > > This is not practical. Because along the same lines, you'll need to "fix" > named(8), sendmail(8) and anything else that gets started from init.d > However, in many cases the same daemons (e.g: sendmail) are being used > on *different* Linux and Unix platforms. Would you maintain a separate > manual page for sendmail (or qmail) for each different platform, just > because the platform *scripts* are different?
sure. RedHat already has tons of patches to all sorts of packages it maintains. Chances are that the dhcpd already has one or two patches. A packaging system is supposed to make patching easier. > > > You shouldn't have to look at the init.d script for that. You shouldn't > > have to guess that. It should be in the man page. > > Agreed. And to just whine about it I wrote a basic boot(7) man page > and attached it. Anyone care to review it? (I spell checked, but I'm sure > not everybody need to suffer from my English level...) Looks quite nice. Some of the bios stuff is a bit x86-specific, and perhaps this should be mentioned. Generally it belongs in the man-pages package: http://www.win.tue.nl/~aeb/linux/man/ Once added there it will eventually be propagate to all distros. -- Tzafrir Cohen mailto:[EMAIL PROTECTED] http://www.technion.ac.il/~tzafrir ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
