On Tue, Jan 14, 2014 at 03:50:47PM -0500, alex lupu wrote:
> Dear Development LFS Book Administrators:
> 

 For development, you ought to post to lfs-dev, but you'll need to
subscribe before you do that.  The devs (primarily Bruce and Matt)
might read this here, I'm not sure.

> I would like to submit for your consideration the following changes
> to the Section "III. 6.7. Linux-3.12.6 API Headers" of the
> "Linux From Scratch - Version SVN-20140102" book.
> 
> 1. After the paragraph
> 
> " ..: This is done by
>   way of sanitizing various C header files that are shipped in the Linux
>   kernel source tarball.",
> 
>  I would insert:
> 
> Note:
>   For the meaning of the action "sanitizing" (in this context), run command
>    sh scripts/headers_install.sh | sed s/echo//
>   and in the output read the section between "Prepares " and " keywords."
>   (output, lines 3-6).
> 

 I don't find that helpful.  At all.

> 2. After section
> 
> "They are placed in an intermediate local ",
> 
>  I would insert:
> 
>  "subdirectory (named by us, 'dest', in the command below)"
> 

 If the user does not understand that we are creating a directory
called 'dest' then LFS is probably too hard for them.  In
everything, a balance is needed between explaining and teaching your
grandmother to suck eggs.

> 3. After
> 
> "copied to the needed location",
> 
>  I would change to
> 
> "copied to the intended user-space standard location, '/usr/include/...' "
> 

 Again, that should be obvious from the command.

> 4. I would change the command
> 
> cp -rv dest/include/* /usr/include
>  to
> cp -prv dest/include/* /usr/include
> 
> That would synchronize the file times in the '/usr/inlude/' tree to the
> times
> of the files created in the kernel directory on running the command
> 'make headers_install', and not assign them an arbitrary time when I get
> around to
> run the copy after taking out the garbage and then getting a well deserved
> rest
> before being finally able to complete the procedure :)
> 
 So, you think that the time(s) when the files were initially
created in dest/ are more important than the times when they were
finally installed to /usr ?  Why ?

ĸen
-- 
das eine Mal als Tragödie, dieses Mal als Farce
-- 
http://linuxfromscratch.org/mailman/listinfo/lfs-support
FAQ: http://www.linuxfromscratch.org/lfs/faq.html
Unsubscribe: See the above information page

Reply via email to