summaryrefslogtreecommitdiff
path: root/apt-pkg/makefile
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2015-06-21 23:12:24 +0200
committerDavid Kalnischkies <david@kalnischkies.de>2015-08-10 17:25:26 +0200
commit81460e32961bb0b9922bf8a1a27d87705d8c3e51 (patch)
treed366b8219da9a84de67d725c0f113ea5d4a470ce /apt-pkg/makefile
parent463c8d801595ce5ac94d7c032264820be7434232 (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 'apt-pkg/makefile')
0 files changed, 0 insertions, 0 deletions