From 71e1b765061824a11d89b6d6d8e33793192d32d1 Mon Sep 17 00:00:00 2001 From: Ting-Wei Lan Date: Wed, 12 Nov 2014 23:38:31 +0800 Subject: =?UTF-8?q?bash=5Finclude:=20=E8=AE=93=20curl=20=E5=8F=AF=E4=BB=A5?= =?UTF-8?q?=E8=B7=9F=E9=9A=A8=20HTTP=20=E9=87=8D=E5=B0=8E=E5=90=91?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- bash_include | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'bash_include') 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"`"' ;; -- cgit v1.2.3