View | Details | Raw Unified
Collapse All | Expand All

(-) ./wget-1.10/doc/sample.wgetrc (-2 / +2 lines)
 Lines 7-13    Link Here  
## not contain a comprehensive list of commands -- look at the manual
## not contain a comprehensive list of commands -- look at the manual
## to find out what you can put into this file.
## to find out what you can put into this file.
## 
## 
## Wget initialization file can reside in /usr/local/etc/wgetrc
 
## Wget initialization file can reside in /etc/wgetrc
 
## (global, for all users) or $HOME/.wgetrc (for a single user).
## (global, for all users) or $HOME/.wgetrc (for a single user).
##
##
## To use the settings in this file, you will have to uncomment them,
## To use the settings in this file, you will have to uncomment them,
 Lines 16-22    Link Here  

        

        
##
##

            

              
## Global settings (useful for setting up in /usr/local/etc/wgetrc).

              
## Global settings (useful for setting up in /etc/wgetrc).

            

        
## Think well before you change them, since they may reduce wget's
## Think well before you change them, since they may reduce wget's

        
## functionality, and make it behave contrary to the documentation:
## functionality, and make it behave contrary to the documentation:

        
##
##



(-) ./wget-1.10/doc/sample.wgetrc.munged_for_texi_inclusion
      (-2 / +2 lines)




  

    

    

       Lines 7-13
       
    
  Link Here 
    

  

        
## not contain a comprehensive list of commands -- look at the manual
## not contain a comprehensive list of commands -- look at the manual

        
## to find out what you can put into this file.
## to find out what you can put into this file.

        
## 
## 

            

              
## Wget initialization file can reside in /usr/local/etc/wgetrc

              
## Wget initialization file can reside in /etc/wgetrc

            

        
## (global, for all users) or $HOME/.wgetrc (for a single user).
## (global, for all users) or $HOME/.wgetrc (for a single user).

        
##
##

        
## To use the settings in this file, you will have to uncomment them,
## To use the settings in this file, you will have to uncomment them,

  

    

    

       Lines 16-22
       
    
  Link Here 
    

  

        

        

        
##
##

            

              
## Global settings (useful for setting up in /usr/local/etc/wgetrc).

              
## Global settings (useful for setting up in /etc/wgetrc).

            

        
## Think well before you change them, since they may reduce wget's
## Think well before you change them, since they may reduce wget's

        
## functionality, and make it behave contrary to the documentation:
## functionality, and make it behave contrary to the documentation:

        
##
##



(-) ./wget-1.10/doc/wget.texi
      (-4 / +4 lines)




  

    

    

       Lines 204-215
       
    
  Link Here 
    

  

        
Most of the features are fully configurable, either through command line
Most of the features are fully configurable, either through command line

        
options, or via the initialization file @file{.wgetrc} (@pxref{Startup
options, or via the initialization file @file{.wgetrc} (@pxref{Startup

        
File}).  Wget allows you to define @dfn{global} startup files
File}).  Wget allows you to define @dfn{global} startup files

            

              
(@file{/usr/local/etc/wgetrc} by default) for site settings.

              
(@file{/etc/wgetrc} by default) for site settings.

            

        

        
@ignore
@ignore

        
@c man begin FILES
@c man begin FILES

        
@table @samp
@table @samp

            

              
@item /usr/local/etc/wgetrc

              
@item /etc/wgetrc

            

        
Default location of the @dfn{global} startup file.
Default location of the @dfn{global} startup file.

        

        
@item .wgetrc
@item .wgetrc

  

    

    

       Lines 2411-2417
       
    
  Link Here 
    

  

        
@cindex location of wgetrc
@cindex location of wgetrc

        

        
When initializing, Wget will look for a @dfn{global} startup file,
When initializing, Wget will look for a @dfn{global} startup file,

            

              
@file{/usr/local/etc/wgetrc} by default (or some prefix other than

              
@file{/etc/wgetrc} by default (or some prefix other than

            

        
@file{/usr/local}, if Wget was not installed there) and read commands
@file{/usr/local}, if Wget was not installed there) and read commands

        
from there, if it exists.
from there, if it exists.

        

  

    

    

       Lines 2423-2429
       
    
  Link Here 
    

  

        

        
The fact that user's settings are loaded after the system-wide ones
The fact that user's settings are loaded after the system-wide ones

        
means that in case of collision user's wgetrc @emph{overrides} the
means that in case of collision user's wgetrc @emph{overrides} the

            

              
system-wide wgetrc (in @file{/usr/local/etc/wgetrc} by default).

              
system-wide wgetrc (in @file{/etc/wgetrc} by default).

            

        
Fascist admins, away!
Fascist admins, away!

        

        
@node Wgetrc Syntax
@node Wgetrc Syntax