From 6f1cd0e1058d855f7080d80271d8cc816d97e52d Mon Sep 17 00:00:00 2001 From: Mika Suomalainen Date: Mon, 20 Aug 2012 14:09:22 +0300 Subject: [PATCH] bashrc & zshrc: add alias to use curl instead of wget. --- bashrc | 3 +++ zshrc | 3 +++ 2 files changed, 6 insertions(+) diff --git a/bashrc b/bashrc index 8829119a..8ea4da00 100755 --- a/bashrc +++ b/bashrc @@ -327,6 +327,9 @@ alias myip="curl -s http://icanhazip.com" alias myip4="curl -s4 http://icanhazip.com" alias myip6="curl -s6 http://icanhazip.com" +# Curl instead of wget with warning +alias wget="echo Running curl -LO instead of wget && curl -LO " + # Allow custom aliases to be put in .aliases or .bash_aliases . # .aliases diff --git a/zshrc b/zshrc index 026cb261..b434d6f8 100755 --- a/zshrc +++ b/zshrc @@ -276,6 +276,9 @@ alias myip="curl -s http://icanhazip.com" alias myip4="curl -s4 http://icanhazip.com" alias myip6="curl -s6 http://icanhazip.com" +# Curl instead of wget with warning +alias wget="echo Running curl -LO instead of wget && curl -LO " + # .aliases if [ -f ~/.aliases ]; then source ~/.aliases