diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2013-01-11 10:09:59 +0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-01-10 19:13:17 -0800 |
commit | 95b63f1ebb1d2b1ae34238cac331dd1e6e437975 (patch) | |
tree | bbb25bec1f35c2b8e833c493eed90a2be3eb016e | |
parent | Git 1.7.12.4 (diff) | |
download | tgif-95b63f1ebb1d2b1ae34238cac331dd1e6e437975.tar.xz |
clone: forbid --bare --separate-git-dir <dir>
The --separate-git-dir option was introduced to make it simple to put
the git directory somewhere outside the worktree, for example when
cloning a repository for use as a submodule.
It was not intended for use when creating a bare repository. In that
case there is no worktree and it is more natural to directly clone the
repository and create a .git file as separate steps:
git clone --bare /path/to/repo.git bar.git
printf 'gitdir: bar.git\n' >foo.git
Forbid the combination, making the command easier to explain.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | builtin/clone.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/builtin/clone.c b/builtin/clone.c index 0d663e34f7..b66766f8c9 100644 --- a/builtin/clone.c +++ b/builtin/clone.c @@ -704,6 +704,8 @@ int cmd_clone(int argc, const char **argv, const char *prefix) if (option_origin) die(_("--bare and --origin %s options are incompatible."), option_origin); + if (real_git_dir) + die(_("--bare and --separate-git-dir are incompatible.")); option_no_checkout = 1; } |