Stuart Henderson <s...@spacehopper.org> writes:

> Since we don't seem to be making any progress on agreeing on an
> additional uid range to use for ports (anything proposed so far either
> bumps into ranges used in some developer large installations, or uses
> high numbers resulting in concerns about large /var/log/lastlog if
> they're ever used to login), and we get closer to running into the
> default "normal user" uid range, I would lean towards not adding
> user/group for this to help conserve "ports uids" and allow users to
> handle that themselves.

Thanks. I've attached my port. I chose the 'misc' category since nothing
else really struck me as better. I've been using it for a week or so and
had no issues. I've only run this on amd64. The local Ubuntu machine I'm
testing with seems happy with it.

My patches are as follows. The original makefile used
$(DESTDIR)$(PREFIX) as the install location. The ports environment seems
to already add $DESTDIR to $PREFIX so I removed $DESTDIR. Since I'm not
creating a user, I also removed creation of the default mirror
directories.

The original apt-mirror script contains its own man page. I adusted it
to remove mention of the apt-mirror user, and removed mention of a cron
script since none was included in the upstream distribution. I also
updated the description of where files are created.

In the actual code of apt-mirror, I changed to use uname(1) to determine
the default architecture if not otherwise provided in the config file,
and changed handling of the base_path configuration so that relative
paths work.

In the default configuration file (mirrors.list) I changed the base_path
from an absolute to relative location.

I added a README that describes these changes and presents an example of
how to use apt-mirror and httpd to run a local mirror site.

Allan

Attachment: apt-mirror-0.5.4.tgz
Description: apt-mirror port

Reply via email to