15 lines
691 B
Diff
15 lines
691 B
Diff
Index: ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config
|
|
===================================================================
|
|
--- ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3.orig/ddiskit.config 2022-07-12 02:04:24.700230196 +0200
|
|
+++ ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config 2022-07-12 02:07:27.444095264 +0200
|
|
@@ -4,6 +4,9 @@
|
|
major = 7
|
|
minor = 0
|
|
|
|
+kernel_dist_re = (?P<rpm_dist>\.el([6-9]|[1-9][0-9])(_(0|[1-9][0-9]*))?)
|
|
+kernel_flex_version_re = {kernel_nvr_re}(?P<rpm_release_aux>(\.[0-9]{1,3})*){kernel_dist_re}
|
|
+
|
|
[rpm_gpg_check]
|
|
## Some initial assumption about the keyring dir
|
|
keyring_dir = {defaults.res_dir}/keyrings/{defaults.profile}
|