diff options
author | Christian Couder <chriscool@tuxfamily.org> | 2007-12-02 06:08:00 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-12-09 01:19:54 -0800 |
commit | d3a866bc8b5604d31638648d671e524cc84fbb26 (patch) | |
tree | 656d53541107939a4c6203fa0eaad6d6150659f8 /git-instaweb.sh | |
parent | 5d6491c7c7536ab930a6e9ce2ec3b5249d4c283f (diff) | |
download | git-d3a866bc8b5604d31638648d671e524cc84fbb26.tar.gz |
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 <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-instaweb.sh')
-rwxr-xr-x | git-instaweb.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-instaweb.sh b/git-instaweb.sh index 8503ae4030..42d8d7fc6e 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`" |