Author: Christian Marillat Date: To: dmo-discussion Subject: Re: automatic updating of sources.list
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 ?
