From a4be5c48af4c297aadf08a98007cf180f85da3fd Mon Sep 17 00:00:00 2001
From: Hyacinthe Cartiaux <hyacinthe.cartiaux@free.fr>
Date: Thu, 9 Feb 2023 22:38:49 +0100
Subject: [PATCH] [install,wget] Remove specific g5k file (proxy not needed
 anymore)

---
 install.sh      |  6 +-----
 wget/wgetrc.g5k | 33 ---------------------------------
 2 files changed, 1 insertion(+), 38 deletions(-)
 delete mode 100644 wget/wgetrc.g5k

diff --git a/install.sh b/install.sh
index 676f284..4eb08d0 100755
--- a/install.sh
+++ b/install.sh
@@ -89,11 +89,7 @@ cat     $DOTFILES/ssh/config{,.g5k} > ~/.ssh/config_g5k
 
 ## 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
+ln -sf $DOTFILES/wget/wgetrc ~/.wgetrc
 
 # GnuPG
 
diff --git a/wget/wgetrc.g5k b/wget/wgetrc.g5k
deleted file mode 100644
index 05ec3b3..0000000
--- a/wget/wgetrc.g5k
+++ /dev/null
@@ -1,33 +0,0 @@
-################################################################################
-# .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
-ftp_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
-