diff options
author | Jeff King <peff@peff.net> | 2012-05-30 15:10:16 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-05-30 20:51:22 +0400 |
commit | 189260b190be845f0e24ede93f9ac539627d72fa (patch) | |
tree | 56ff9209ef823fcc0e2a11eda79c5dbb09c2802b /Documentation | |
parent | 9197a10c7188a74356384a7ce46e05104ac68240 (diff) |
clone: allow --no-local to turn off local optimizations
This is basically the same as using "file://", but is a
little less subtle for the end user. It also allows relative
paths to be specified.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/git-clone.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/git-clone.txt b/Documentation/git-clone.txt index 1d267f4712..c1ddd4c2cc 100644 --- a/Documentation/git-clone.txt +++ b/Documentation/git-clone.txt @@ -51,7 +51,9 @@ OPTIONS If the repository is specified as a local path (e.g., `/path/to/repo`), this is the default, and --local is essentially a no-op. If the repository is specified as a URL, then this flag is ignored (and we -never use the local optimizations). +never use the local optimizations). Specifying `--no-local` will +override the default when `/path/to/repo` is given, using the regular +git transport instead. + To force copying instead of hardlinking (which may be desirable if you are trying to make a back-up of your repository), but still avoid the |