diff options
| author | Ting-Wei Lan <lantw44@gmail.com> | 2014-11-12 23:38:31 +0800 |
|---|---|---|
| committer | Ting-Wei Lan <lantw44@gmail.com> | 2014-11-12 23:38:31 +0800 |
| commit | 71e1b765061824a11d89b6d6d8e33793192d32d1 (patch) | |
| tree | 4cb0ef3bd4575993dd31814a8b0ea96a57df8157 /bash_include | |
| parent | a7332d641bd3a17c84e1d8fc1d409f4c6a8fb616 (diff) | |
| download | configfile-71e1b765061824a11d89b6d6d8e33793192d32d1.tar configfile-71e1b765061824a11d89b6d6d8e33793192d32d1.tar.gz configfile-71e1b765061824a11d89b6d6d8e33793192d32d1.tar.bz2 configfile-71e1b765061824a11d89b6d6d8e33793192d32d1.tar.lz configfile-71e1b765061824a11d89b6d6d8e33793192d32d1.tar.xz configfile-71e1b765061824a11d89b6d6d8e33793192d32d1.tar.zst configfile-71e1b765061824a11d89b6d6d8e33793192d32d1.zip | |
bash_include: 讓 curl 可以跟隨 HTTP 重導向
Diffstat (limited to 'bash_include')
| -rw-r--r-- | bash_include | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bash_include b/bash_include index e38b813..b0d5523 100644 --- a/bash_include +++ b/bash_include @@ -249,7 +249,7 @@ function git () if [[ "$PWD" == *gnome* ]] || [[ "$PWD" == *jhbuild* ]]; then if [[ "`command git config user.email`" == *gnome* ]]; then :; else - printf '==> \e[1;31mBASHRC ERROR\e[m: Please use GNOME email for GNOME project!\n' + printf '==> \e[1;31mBASHRC ERROR\e[m: Please use GNOME email in GNOME projects!\n' return 2 fi fi @@ -507,7 +507,7 @@ function fetch_remote_file () printf "==> Fetch remote file \e[1;33m$2\e[m as \e[1;35m$1\e[m ...\n" # cURL - cross-platform if check_command_existent curl; then - curl -f -o "$1" "$2" + curl -L -f -o "$1" "$2" rval=$? # wget - GNU, cross-platform elif check_command_existent wget; then @@ -1858,7 +1858,7 @@ then bind '"\e[A":history-search-backward' bind '"\e[B":history-search-forward' if [ -e "$HOME/.bash_title" ]; then - case "$TERM" in + case "$TERM" in xterm*) PROMPT_COMMAND="$PROMPT_COMMAND"'; printf "\033]0;%s@%s:%s (%s)\007" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/~}" "`date "+%H:%M:%S"`"' ;; |