mirror of
https://github.com/git/git.git
synced 2024-10-28 21:07:52 +01:00
web--browse: split valid_tool list
It was getting too long, and we want to add some more. Signed-off-by: Giuseppe Bilotta <giuseppe.bilotta@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
a180055a47
commit
b968708b3e
1 changed files with 2 additions and 1 deletions
|
@ -31,7 +31,8 @@ valid_custom_tool()
|
|||
|
||||
valid_tool() {
|
||||
case "$1" in
|
||||
firefox | iceweasel | chrome | google-chrome | chromium | konqueror | w3m | links | lynx | dillo | open | start)
|
||||
firefox | iceweasel | chrome | google-chrome | chromium | \
|
||||
konqueror | w3m | links | lynx | dillo | open | start)
|
||||
;; # happy
|
||||
*)
|
||||
valid_custom_tool "$1" || return 1
|
||||
|
|
Loading…
Reference in a new issue