diff options
Diffstat (limited to 'repos.conf/gentoo.conf')
| -rw-r--r-- | repos.conf/gentoo.conf | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/repos.conf/gentoo.conf b/repos.conf/gentoo.conf new file mode 100644 index 0000000..bcbb127 --- /dev/null +++ b/repos.conf/gentoo.conf @@ -0,0 +1,16 @@ +[DEFAULT] +main-repo = gentoo + +[gentoo] +location = /var/db/repos/gentoo +sync-type = git +sync-uri = https://github.com/gentoo-mirror/gentoo +auto-sync = yes +clone-depth = 10 +sync-openpgp-keyserver = hkps://keys.gentoo.org +sync-openpgp-key-refresh-retry-count = 40 +sync-openpgp-key-refresh-retry-overall-timeout = 1200 +sync-openpgp-key-refresh-retry-delay-exp-base = 2 +sync-openpgp-key-refresh-retry-delay-max = 60 +sync-openpgp-key-refresh-retry-delay-mult = 4 +sync-git-verify-commit-signature = true |