diff options
| author | Mountain Man <43313373+MountainMan1312@users.noreply.github.com> | 2023-03-31 01:39:07 -0400 |
|---|---|---|
| committer | Mountain Man <43313373+MountainMan1312@users.noreply.github.com> | 2023-03-31 01:39:07 -0400 |
| commit | 461e8c83e4612de58ad942f934432e3a276fa038 (patch) | |
| tree | 370736915e824445293aa6a81c5db8ec3e3f728b /home/.bashrc | |
| parent | Add $PS2 prompt (diff) | |
| download | dotfiles.old-461e8c83e4612de58ad942f934432e3a276fa038.tar.gz dotfiles.old-461e8c83e4612de58ad942f934432e3a276fa038.tar.bz2 dotfiles.old-461e8c83e4612de58ad942f934432e3a276fa038.zip | |
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.
Diffstat (limited to 'home/.bashrc')
| -rw-r--r-- | home/.bashrc | 7 |
1 files changed, 7 insertions, 0 deletions
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 | |||
| 91 | ################################################################## | 91 | ################################################################## |
| 92 | PS2=" > " | 92 | PS2=" > " |
| 93 | ########################################################################## | 93 | ########################################################################## |
| 94 | |||
| 95 | |||
| 96 | ########################################################################## | ||
| 97 | # Aliases | ||
| 98 | ######### | ||
| 99 | alias wget="wget -c --tries=10 --timeout=10 --waitretry=30s" | ||
| 100 | ########################################################################## | ||