diff options
| author | 2017-07-25 21:23:25 -0400 | |
|---|---|---|
| committer | 2017-07-25 21:23:25 -0400 | |
| commit | 8e1a34eb5beab5f59741f4484b7d2da7fde5ad8a (patch) | |
| tree | 749f7ababe3b2a84e760dfd5731532c9aa55510e | |
| parent | 8f59711e012e8a2c7d20dd4a532e7e51cc20368a (diff) | |
Account for '.ddeb' dbgsym extension in debpackage regex.
| -rwxr-xr-x | mini-dinstall | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mini-dinstall b/mini-dinstall index 20e39d0..1d1a9b0 100755 --- a/mini-dinstall +++ b/mini-dinstall @@ -36,7 +36,7 @@ import minidinstall.mail import minidinstall.tweet debchanges_re = re.compile('([-a-z0-9+.]+)_(.+?)_([-a-zA-Z0-9]+)\.changes$') -debpackage_re = re.compile('([-a-z0-9+.]+)_(.+?)_([-a-zA-Z0-9]+)\.u?deb$') +debpackage_re = re.compile('([-a-z0-9+.]+)_(.+?)_([-a-zA-Z0-9]+)\.(d|u)?deb$') debbuildinfo_re = re.compile('([-a-z0-9+.]+)_(.+?)_([-a-zA-Z0-9]+)\.buildinfo$') debsrc_dsc_re = re.compile('([-a-z0-9+.]+)_(.+?)\.dsc$') debsrc_diff_re = re.compile('([-a-z0-9+.]+)_(.+?)\.diff\.gz$') |
