diff options
author | Mike Frysinger <vapier@google.com> | 2019-11-18 02:27:57 -0500 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2019-11-18 19:17:48 +0000 |
commit | 34bc5712eb7e09f9fc5b39ae78786775ad3023e8 (patch) | |
tree | d681b24fdaed87f6e97ec71afa516c07eafb9e14 | |
parent | 70c54dc2550084ed022a2f134065a011f37f30aa (diff) | |
download | git-repo-34bc5712eb7e09f9fc5b39ae78786775ad3023e8.tar.gz |
README: add install detailsv1.13.8
Change-Id: I57043449a7927068fa5735cb71633353e1039532
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/245816
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Tested-by: Mike Frysinger <vapier@google.com>
-rw-r--r-- | README.md | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -14,3 +14,22 @@ that you can put anywhere in your path. | |||
14 | * [repo Manifest Format](./docs/manifest-format.md) | 14 | * [repo Manifest Format](./docs/manifest-format.md) |
15 | * [repo Hooks](./docs/repo-hooks.md) | 15 | * [repo Hooks](./docs/repo-hooks.md) |
16 | * [Submitting patches](./SUBMITTING_PATCHES.md) | 16 | * [Submitting patches](./SUBMITTING_PATCHES.md) |
17 | |||
18 | ## Install | ||
19 | |||
20 | Many distros include repo, so you might be able to install from there. | ||
21 | ```sh | ||
22 | # Debian/Ubuntu. | ||
23 | $ sudo apt-get install repo | ||
24 | |||
25 | # Gentoo. | ||
26 | $ sudo emerge dev-vcs/repo | ||
27 | ``` | ||
28 | |||
29 | You can install it manually as well as it's a single script. | ||
30 | ```sh | ||
31 | $ mkdir -p ~/.bin | ||
32 | $ PATH="${HOME}/.bin:${PATH}" | ||
33 | $ curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.bin/repo | ||
34 | $ chmod a+rx ~/.bin/repo | ||
35 | ``` | ||