Author: Rob Owens Date: To: dmo-discussion Subject: Re: automatic updating of sources.list
On Sun, May 27, 2012 at 10:04:58AM +0200, Christian Marillat wrote: > Rob Owens <rowens@???> writes:
>
> > On Sat, May 26, 2012 at 03:11:47PM +0200, Christian Marillat wrote:
> >> Rob Owens <rowens@???> writes:
> >>
> >> > Christian,
> >>
> >> Hi,
> >>
> >> > Would it be possible for you to push an update that changes
> >> > /etc/apt/sources.list from "debian-multimedia.org" to
> >> > "deb-multimedia.org"? Possibly through the deb-multimedia-keyring
> >> > package?
> >>
> >> Hard to do that when I don't know which distribution
> >> (stable/testing/unstable) people are using.
> >>
> >> Christian
> >
> > Couldn't you just find-and-replace "debian-multimedia.org" with
> > "deb-multimedia.org", using sed or something similar?
>
> Certainly a bad idea to modify a configuration file like that.
>
> Your users aren't able to edit a single file ? Or better use a graphical
> front end like synaptic ?
>
> Christian
In some cases, no they are not able to edit a single file. In some
cases I don't even have contact with the users anymore.
Oh well, if it can't be done then I'll wait for someone to call me and
ask for help!
