diff options
author | David Kalnischkies <david@kalnischkies.de> | 2015-06-21 23:12:24 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2015-08-10 17:25:26 +0200 |
commit | 81460e32961bb0b9922bf8a1a27d87705d8c3e51 (patch) | |
tree | d366b8219da9a84de67d725c0f113ea5d4a470ce /doc/apt.conf.5.xml | |
parent | 463c8d801595ce5ac94d7c032264820be7434232 (diff) |
bring back deb822 sources.list entries as .sources
Having two different formats in the same file is very dirty and causes
external tools to fail hard trying to parse them. It is probably not a
good idea for them to parse them in the first place, but they do and we
shouldn't break them if there is a better way.
So we solve this issue for now by giving our deb822 format a new
filename extension ".sources" which unsupporting applications are likely
to ignore an can begin gradually moving forward rather than waiting for
the unknown applications to catch up.
Currently and for the forseeable future apt is going to support both
with the same feature set as documented in the manpage, with the
longtime plan of adopting the 'new' format as default, but that is a
long way to go and might get going more from having an easier time
setting options than from us pushing it explicitely.
Diffstat (limited to 'doc/apt.conf.5.xml')
0 files changed, 0 insertions, 0 deletions