diff options
author | David Kalnischkies <kalnischkies@gmail.com> | 2013-08-07 16:45:49 +0200 |
---|---|---|
committer | David Kalnischkies <kalnischkies@gmail.com> | 2013-08-08 15:23:56 +0200 |
commit | e9737c7f6a3e03b2975927ef9b04c1194026ed9c (patch) | |
tree | 69246f876a604d9eeb14bb6ec0f37b0c6beaa811 /doc/apt_preferences.5.xml | |
parent | 91c4cc14d3654636edf997d23852f05ad3de4853 (diff) |
use pkgTagFile to parse "header" of Release files
The handwritten parsing here was mostly done as we couldn't trust the
Release file we got, but nowadays we are sure that the Release file is
valid and contains just a single section we want it to include.
Beside reducing code it also fixes a bug: Fieldnames in deb822 formatted
files are case-insensitive and pkgTagFile does it correctly, but this
selfbuilt stuff here didn't.
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions