diff options
| author | Francois Pons <fpons@mandriva.com> | 2003-09-04 12:50:27 +0000 |
|---|---|---|
| committer | Francois Pons <fpons@mandriva.com> | 2003-09-04 12:50:27 +0000 |
| commit | 33bc8d8b7d99e6ff008cb0cc8e8f4db6c5d08776 (patch) | |
| tree | ed7c6488b38dd7af25c2b30d1c0ace29c0941d1d /urpmi.addmedia | |
| parent | 970a93180754c424ae8b6f3888dbd6918427748e (diff) | |
| download | urpmi-33bc8d8b7d99e6ff008cb0cc8e8f4db6c5d08776.tar urpmi-33bc8d8b7d99e6ff008cb0cc8e8f4db6c5d08776.tar.gz urpmi-33bc8d8b7d99e6ff008cb0cc8e8f4db6c5d08776.tar.bz2 urpmi-33bc8d8b7d99e6ff008cb0cc8e8f4db6c5d08776.tar.xz urpmi-33bc8d8b7d99e6ff008cb0cc8e8f4db6c5d08776.zip | |
4.4-31mdk
Diffstat (limited to 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index 6a697582..dcfa0f3b 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -86,6 +86,7 @@ and [options] are from /^--?c/ and $options{noclean} = 0, next; /^--?h/ and next; /^--?f/ and ++$options{force}, next; + /^-z$/ and ++$options{compress}, next; /^--wget/ and $urpm->{sync} = sub { my $options = shift @_; if (ref $options) { $options->{prefer} = 'wget' } else { $options = { dir => $options, prefer => 'wget' } } |