mirror of
https://github.com/git/git
synced 2024-08-28 12:09:19 +00:00
git-clone: exit early if repo isn't specified
git-clone without a repo isn't useful at all. print message and get out asap. This patch also move the variable 'local' to where other variables are initialized. Signed-off-by: Yasushi SHOJI <yashi@atmark-techno.com> Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
parent
98a4fef3f2
commit
ef5b4eabb6
10
git-clone.sh
10
git-clone.sh
|
@ -98,6 +98,7 @@ close FH;
|
|||
'
|
||||
|
||||
quiet=
|
||||
local=no
|
||||
use_local=no
|
||||
local_shared=no
|
||||
no_checkout=
|
||||
|
@ -156,6 +157,13 @@ do
|
|||
shift
|
||||
done
|
||||
|
||||
repo="$1"
|
||||
if test -z "$repo"
|
||||
then
|
||||
echo >&2 'you must specify a repository to clone.'
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# --bare implies --no-checkout
|
||||
if test yes = "$bare"
|
||||
then
|
||||
|
@ -179,8 +187,6 @@ fi
|
|||
|
||||
# Turn the source into an absolute path if
|
||||
# it is local
|
||||
repo="$1"
|
||||
local=no
|
||||
if base=$(get_repo_base "$repo"); then
|
||||
repo="$base"
|
||||
local=yes
|
||||
|
|
Loading…
Reference in a new issue