diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-06-17 13:27:34 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-06-17 18:09:15 +0200 |
commit | b90faf2486b977aef0183e38a7f9c535a8a61a34 (patch) | |
tree | 61d7cf9dfb171afba613ec2be96c73d03a95f89f /debian/apt.examples | |
parent | 99968cf75b46210bded1662d34c4c2b0ef07be04 (diff) |
merge sources.list lines based on Release filename
Merging by URI means that having sources lines with different URI
methods results in 'strange' warning and error messages, which aren't
very friendly from a user point of view as not encoding the method in
the filename is effectivly an implementation detail.
Merging by filename removes these messages and makes everything "work"
even if it isn't working the way it is configured as the indexes aren't
acquired over the method given, but over the first method for this
release file (which argueably is an implementation detail stemming from
the filename encoding, too).
So either direction isn't perfectly "right", but personally I prefer
"magic" over strange error messages (and doing a full-circle detection
of this with its own messages which would need to be translated feels
like way too much effort for dubious gain).
Closes: 826944
Diffstat (limited to 'debian/apt.examples')
0 files changed, 0 insertions, 0 deletions