summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorMike Frysinger <vapier@google.com>2020-02-18 21:31:51 -0500
committerMike Frysinger <vapier@google.com>2020-02-20 00:53:39 +0000
commitf841ca48c150e8a62728c5875fb01dcf7c5756a7 (patch)
tree29983898948da9ada7ea80dd33386cf643fa4c1b /docs
parentc0d1866b35d3e8d0bee3760a9f52574fa2ab8491 (diff)
downloadgit-repo-f841ca48c150e8a62728c5875fb01dcf7c5756a7.tar.gz
git_config: add support for repo-specific settings
This allows people to write ~/.repoconfig/config akin to ~/.gitconfig and .repo/config akin to .git/config. This allows us to add settings specific to repo without mixing up git, and to persist in general. Change-Id: I1c6fbe31e63fb8ce26aa85335349c6ae5b1712c6 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/255832 Reviewed-by: David Pursehouse <dpursehouse@collab.net> Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'docs')
-rw-r--r--docs/internal-fs-layout.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/internal-fs-layout.md b/docs/internal-fs-layout.md
index 9e724e7b..0b6c4709 100644
--- a/docs/internal-fs-layout.md
+++ b/docs/internal-fs-layout.md
@@ -23,6 +23,10 @@ It is always safe to re-run `repo init` in existing repo client checkouts.
23For example, if you want to change the manifest branch, you can simply run 23For example, if you want to change the manifest branch, you can simply run
24`repo init --manifest-branch=<new name>` and repo will take care of the rest. 24`repo init --manifest-branch=<new name>` and repo will take care of the rest.
25 25
26* `config`: Per-repo client checkout settings using [git-config] file format.
27* `.repo_config.json`: JSON cache of the `config` file for repo to
28 read/process quickly.
29
26### repo/ state 30### repo/ state
27 31
28* `repo/`: A git checkout of the repo project. This is how `repo` re-execs 32* `repo/`: A git checkout of the repo project. This is how `repo` re-execs
@@ -198,12 +202,15 @@ The `[branch]` settings are updated by `repo start` and `git branch`.
198Repo will create & maintain a few files in the user's home directory. 202Repo will create & maintain a few files in the user's home directory.
199 203
200* `.repoconfig/`: Repo's per-user directory for all random config files/state. 204* `.repoconfig/`: Repo's per-user directory for all random config files/state.
205* `.repoconfig/config`: Per-user settings using [git-config] file format.
201* `.repoconfig/keyring-version`: Cache file for checking if the gnupg subdir 206* `.repoconfig/keyring-version`: Cache file for checking if the gnupg subdir
202 has all the same keys as the repo launcher. Used to avoid running gpg 207 has all the same keys as the repo launcher. Used to avoid running gpg
203 constantly as that can be quite slow. 208 constantly as that can be quite slow.
204* `.repoconfig/gnupg/`: GnuPG's internal state directory used when repo needs 209* `.repoconfig/gnupg/`: GnuPG's internal state directory used when repo needs
205 to run `gpg`. This provides isolation from the user's normal `~/.gnupg/`. 210 to run `gpg`. This provides isolation from the user's normal `~/.gnupg/`.
206 211
212* `.repoconfig/.repo_config.json`: JSON cache of the `.repoconfig/config`
213 file for repo to read/process quickly.
207* `.repo_.gitconfig.json`: JSON cache of the `.gitconfig` file for repo to 214* `.repo_.gitconfig.json`: JSON cache of the `.gitconfig` file for repo to
208 read/process quickly. 215 read/process quickly.
209 216