diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2007-05-29 07:39:58 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2007-05-29 07:39:58 +0000 |
commit | fcd22a31c5509c521377cf3a8a00b232fac8d8f1 (patch) | |
tree | 6c830b8bcecf27126e7df5aa04a22acb4ef439fa | |
parent | f07e8e5ad90fac9eddc0a3444b5cca0114f1be05 (diff) | |
download | urpmi-fcd22a31c5509c521377cf3a8a00b232fac8d8f1.tar urpmi-fcd22a31c5509c521377cf3a8a00b232fac8d8f1.tar.gz urpmi-fcd22a31c5509c521377cf3a8a00b232fac8d8f1.tar.bz2 urpmi-fcd22a31c5509c521377cf3a8a00b232fac8d8f1.tar.xz urpmi-fcd22a31c5509c521377cf3a8a00b232fac8d8f1.zip |
- urpmi.addmedia
o [bugfix] fix using "with synthesis.hdlist.cz" (#31081)
(backport from trunk)
-rw-r--r-- | NEWS | 1 | ||||
-rw-r--r-- | urpm/media.pm | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -1,4 +1,5 @@ - urpmi.addmedia + o [bugfix] fix using "with synthesis.hdlist.cz" (#31081) o [bugfix] fix removable://... (#30257) o [bugfix] look for media/$media_dir/media_info/pubkey instead of media/$media_dir/pubkey diff --git a/urpm/media.pm b/urpm/media.pm index 8f874e3d..43b6deba 100644 --- a/urpm/media.pm +++ b/urpm/media.pm @@ -682,7 +682,7 @@ sub add_medium { } if ($with_hdlist) { - _set_synthesis_or_hdlist($medium, $with_hdlist =~ m!(^|/)synthesis\.!); + _set_synthesis_or_hdlist($medium, $with_hdlist =~ m!(?:^|/)synthesis\.!); $medium->{with_hdlist} = $with_hdlist; _migrate__with_hdlist($medium); } |