diff options
Diffstat (limited to 'Technology/Gentoo/gentoo.conf.md')
| -rw-r--r-- | Technology/Gentoo/gentoo.conf.md | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Technology/Gentoo/gentoo.conf.md b/Technology/Gentoo/gentoo.conf.md deleted file mode 100644 index 23c3842..0000000 --- a/Technology/Gentoo/gentoo.conf.md +++ /dev/null @@ -1,14 +0,0 @@ -[ EFAULT] -main-repo = gentoo - -[gentoo] -location = /var/db/repos/gentoo -sync-type = git -sync-uri = https://gitweb.gentoo.org/repo/sync/gentoo.git -auto-sync = yes -sync-openpgp-key-path = /usr/share/openpgp-keys/gentoo-release.asc -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 |