From 461e8c83e4612de58ad942f934432e3a276fa038 Mon Sep 17 00:00:00 2001 From: Mountain Man <43313373+MountainMan1312@users.noreply.github.com> Date: Fri, 31 Mar 2023 01:39:07 -0400 Subject: Create alias for 'wget' in 'home/,bashrc' The default behavior of 'wget' is kind of inconvenient. This alias prevents 'wget' from failing as often, and makes it more convenient when it does fail by allowing to pick back up where the download left off. --- home/.bashrc | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'home/.bashrc') diff --git a/home/.bashrc b/home/.bashrc index 4d072a7..0ccf639 100644 --- a/home/.bashrc +++ b/home/.bashrc @@ -91,3 +91,10 @@ PS1+=$PS1_COLOR_RESET ################################################################## PS2=" > " ########################################################################## + + +########################################################################## +# Aliases +######### +alias wget="wget -c --tries=10 --timeout=10 --waitretry=30s" +########################################################################## -- cgit v1.2.3