diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2018-08-30 16:06:14 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@parabola.nu> | 2018-09-02 18:08:00 -0400 |
commit | 3715236d094b86cdcf7d5bb7080bcab33476e2fd (patch) | |
tree | 180c882016946a8039ecf25218a0474c129f42ce /config.local.community | |
parent | bc4832364050a05976dce33f28bba9ed3193010d (diff) |
db-import-pkg: Use {PKG,SRC}POOL rather than OUR{PKG,SRC}POOL
These values should all be the same.
Diffstat (limited to 'config.local.community')
-rw-r--r-- | config.local.community | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/config.local.community b/config.local.community index b5070c1..6569eef 100644 --- a/config.local.community +++ b/config.local.community @@ -11,9 +11,6 @@ ARCHPATH='$repo/os/$arch' ARCHPKGPOOL='pool/community' ARCHSRCPOOL='sources/community' -OURPKGPOOL='pool/community' -OURSRCPOOL='sources/community' - # Of the few tier-1 mirrors with the 'sources/' folder: # # $ ./config-list-mirrors-archlinux --require=sources | jq -r '.[].url' |