mirror of
https://github.com/hcartiaux/dotfiles.git
synced 2024-10-18 09:15:24 +02:00
[wget,install] wgetrc configuration, specific config for g5k
This commit is contained in:
parent
19404fdb5a
commit
a1e598f1cb
3 changed files with 68 additions and 0 deletions
|
@ -64,6 +64,14 @@ mkdir -p ~/.rtorrent
|
|||
|
||||
ln -sf $DOTFILES/git/gitconfig ~/.gitconfig
|
||||
|
||||
## wget
|
||||
|
||||
if [[ "`hostname -f | cut -d '.' -f 3`" = "grid5000" ]] ; then
|
||||
ln -sf $DOTFILES/wget/wgetrc.g5k ~/.wgetrc
|
||||
else
|
||||
ln -sf $DOTFILES/wget/wgetrc ~/.wgetrc
|
||||
fi
|
||||
|
||||
## ssh
|
||||
|
||||
mkdir -p ~/.ssh/sockets
|
||||
|
|
28
wget/wgetrc
Normal file
28
wget/wgetrc
Normal file
|
@ -0,0 +1,28 @@
|
|||
################################################################################
|
||||
# .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
|
||||
|
32
wget/wgetrc.g5k
Normal file
32
wget/wgetrc.g5k
Normal file
|
@ -0,0 +1,32 @@
|
|||
################################################################################
|
||||
# .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).
|
||||
|
||||
# G5K proxy settings
|
||||
http_proxy = http://proxy:3128
|
||||
use_proxy = on
|
||||
|
||||
# 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
|
||||
|
Loading…
Reference in a new issue