mirror of
https://github.com/hcartiaux/dotfiles.git
synced 2024-10-18 09:15:24 +02:00
28 lines
1.2 KiB
Text
28 lines
1.2 KiB
Text
################################################################################
|
|
# .wgetrc -- configuration file for [wget](https://www.gnu.org/software/wget/)
|
|
# _
|
|
# __ ____ _ ___| |_ _ __ ___
|
|
# \ \ /\ / / _` |/ _ \ __| '__/ __|
|
|
# \ V V / (_| | __/ |_| | | (__
|
|
# (_)_/\_/ \__, |\___|\__|_| \___|
|
|
# |___/
|
|
#
|
|
################################################################################
|
|
#
|
|
## You can use this file to change the default behaviour of wget or to
|
|
## avoid having to type many many command-line options. This file does
|
|
## not contain a comprehensive list of commands -- look at the manual
|
|
## to find out what you can put into this file. You can find this here:
|
|
## $ info wget.info 'Startup File'
|
|
## Or online here:
|
|
## https://www.gnu.org/software/wget/manual/wget.html#Startup-File
|
|
##
|
|
## Wget initialization file can reside in /usr/local/etc/wgetrc
|
|
## (global, for all users) or $HOME/.wgetrc (for a single user).
|
|
|
|
# Use timestamping by default
|
|
timestamping = on
|
|
|
|
# If set to on, use the last component of a redirection URL for the local file name.
|
|
continue = on
|
|
|