[PATCH] Use $DESTDIR instead of $dest
[git.git] / Documentation / git-local-pull.txt
1 git-local-pull(1)
2 =================
3 v0.1, May 2005
4
5 NAME
6 ----
7 git-local-pull - Duplicates another GIT repository on a local system
8
9
10 SYNOPSIS
11 --------
12 'git-local-pull' [-c] [-t] [-a] [-d] [-v] [-w filename] [--recover] [-l] [-s] [-n] commit-id path
13
14 DESCRIPTION
15 -----------
16 Duplicates another GIT repository on a local system.
17
18 OPTIONS
19 -------
20 -c::
21         Get the commit objects.
22 -t::
23         Get trees associated with the commit objects.
24 -a::
25         Get all the objects.
26 -v::
27         Report what is downloaded.
28
29 -w <filename>::
30         Writes the commit-id into the filename under $GIT_DIR/refs/<filename> on
31         the local end after the transfer is complete.
32
33 Author
34 ------
35 Written by Junio C Hamano <junkio@cox.net>
36
37 Documentation
38 --------------
39 Documentation by David Greaves, Junio C Hamano and the git-list <git@vger.kernel.org>.
40
41 GIT
42 ---
43 Part of the link:git.html[git] suite
44