diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2015-07-09 13:04:58 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2015-07-09 13:07:27 +0200 |
| commit | 59658d1958a7990722240e23c25163e98aa013c8 (patch) | |
| tree | 5fbef775e62b1d2bfc3ee64352b2985d1a5f8930 /man/udev_list_entry.xml | |
| parent | d8c64b7f90b053d7bdf8d83133d9a4cc5be788dd (diff) | |
boot: use BUILD_ID if VERSION_ID is not present
According to os-release(5), VERSION_ID is not mandatory and BUILD_ID only
needs to be unique underneath VERSION_ID. Therefore, assuming a missing
VERSION_ID field means 'empty', we can rely on BUILD_ID to be unique.
Use BUILD_ID if VERSION_ID is not present. This way, rolling-release
distros can still provide a proper os-release entry without crafting
random VERSION_ID strings.
This fixes #186.
Diffstat (limited to 'man/udev_list_entry.xml')
0 files changed, 0 insertions, 0 deletions