We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.

Commit 436897c1 authored by Karl Goetz's avatar Karl Goetz

As discussed on IRC, I'm adding a new location to find user packages in

/data/userpools/ . Only buildd has been moved, but other users could be
moved over (and symlinked) at will. A user could have two separate
pools, but they'll have to sort what happens themselves.
parent 98fce0cd
......@@ -41,6 +41,9 @@ upstreamSecurityMirror=$stagingDir/debian-security
# Location of our temporary mirrors
# Where are user pool (package pool) directories?
# ls -d is run on this, so the *'s are needed (for now)
userpools="/home/* /data/userpools/*"
# Archive signing key
......@@ -82,7 +85,7 @@ copy_overlays(){
echo "$codename: Building per user overlays."
mkdir -p $base_dir/pool/overlays/$codename$subsuite
for home_dir in $(ls -d /home/*); do
for home_dir in $(ls -d $userpools); do
user=$(basename $home_dir)
# Extra level /packages/ because else subsuites would get
# added to the base suite.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment