diff options
| -rwxr-xr-x | urpmi.addmedia | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index c050a8ae..18d93061 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -180,7 +180,8 @@ if ($options{distrib}) { ignore => $options{raw}, nolock => $options{nolock}, 'xml-info' => $options{'xml-info'}, - ); + ) or $urpm->{fatal}(10, N("unable to add medium")); + urpm::download::copy_cmd_line_proxy($name); if ($options{raw}) { urpm::media::write_config($urpm); |