From 3c85575f808a47e688cfc2343dd14bf1863d9d9e Mon Sep 17 00:00:00 2001 From: Indrajit Raychaudhuri Date: Sun, 22 Apr 2012 20:09:43 +0530 Subject: [PATCH] Use the server timestamp in the get alias --- modules/alias/init.zsh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/modules/alias/init.zsh b/modules/alias/init.zsh index eb0e609b..555d4b42 100644 --- a/modules/alias/init.zsh +++ b/modules/alias/init.zsh @@ -75,10 +75,10 @@ alias type='type -a' # Mac OS X if [[ "$OSTYPE" == darwin* ]]; then alias o='open' - alias get='curl --continue-at - --location --progress-bar --remote-name' + alias get='curl --continue-at - --location --progress-bar --remote-name --remote-time' else alias o='xdg-open' - alias get='wget --continue --progress=bar' + alias get='wget --continue --progress=bar --timestamping' if (( $+commands[xclip] )); then alias pbcopy='xclip -selection clipboard -in'