From: Christian Couder Date: Sun, 2 Dec 2007 05:08:00 +0000 (+0100) Subject: Use {web,instaweb,help}.browser config options. X-Git-Tag: v1.5.4-rc0~1^2~10 X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=d3a866bc8b5604d31638648d671e524cc84fbb26;p=git.git Use {web,instaweb,help}.browser config options. Now "git-instaweb" will try to use the browser configured as "web.browser", if "instaweb.browser" is not set. "git-browse-help" will check first "help.browser" and then "web.browser". Signed-off-by: Christian Couder Signed-off-by: Junio C Hamano --- diff --git a/git-browse-help.sh b/git-browse-help.sh index 76eff01ba..817b3792c 100755 --- a/git-browse-help.sh +++ b/git-browse-help.sh @@ -70,9 +70,13 @@ do done if test -z "$browser"; then - browser=`git config web.browser` + for opt in "help.browser" "web.browser" + do + browser="`git config $opt`" + test -z "$browser" || break + done if test -n "$browser" && ! valid_tool "$browser"; then - echo >&2 "git config option web.browser set to unknown browser: $browser" + echo >&2 "git config option $opt set to unknown browser: $browser" echo >&2 "Resetting to default..." unset browser fi diff --git a/git-instaweb.sh b/git-instaweb.sh index 8503ae403..42d8d7fc6 100755 --- a/git-instaweb.sh +++ b/git-instaweb.sh @@ -24,6 +24,7 @@ fqgitdir="$GIT_DIR" local="`git config --bool --get instaweb.local`" httpd="`git config --get instaweb.httpd`" browser="`git config --get instaweb.browser`" +test -z "$browser" && browser="`git config --get web.browser`" port=`git config --get instaweb.port` module_path="`git config --get instaweb.modulepath`"