diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2008-08-28 15:47:52 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2008-08-28 15:47:52 +0000 |
commit | 215c9c326d233512dad2547ad9ab5f501e9ef7c5 (patch) | |
tree | 08f4d805959fd55d039151c49ee3337c23f79d58 | |
parent | 436117613214c29eab4486cb6c6e906296ce00e0 (diff) | |
download | rpmdrake-215c9c326d233512dad2547ad9ab5f501e9ef7c5.tar rpmdrake-215c9c326d233512dad2547ad9ab5f501e9ef7c5.tar.gz rpmdrake-215c9c326d233512dad2547ad9ab5f501e9ef7c5.tar.bz2 rpmdrake-215c9c326d233512dad2547ad9ab5f501e9ef7c5.tar.xz rpmdrake-215c9c326d233512dad2547ad9ab5f501e9ef7c5.zip |
- gurpmi.addmedia
o instead of discarding --update when using --distrib, give it a meaning:
only add media flagged "update"
-rw-r--r-- | NEWS | 4 | ||||
-rwxr-xr-x | gurpmi.addmedia | 5 |
2 files changed, 7 insertions, 2 deletions
@@ -1,3 +1,7 @@ +- gurpmi.addmedia + o instead of discarding --update when using --distrib, give it a meaning: + only add media flagged "update" + Version 4.16 - 26 August 2008, Thierry Vignaud - MandrivaUpdate: diff --git a/gurpmi.addmedia b/gurpmi.addmedia index cdd0890e..85137ccc 100755 --- a/gurpmi.addmedia +++ b/gurpmi.addmedia @@ -37,7 +37,8 @@ where <url> is one of and [options] are from --distrib install a set of media from a distribution --silent-success don't show popup window on success - --update create an update medium. + --update create an update medium, + or discard non-update media (when used with --distrib) --mirrorlist <url> is a mirror list "; exit(0); @@ -133,7 +134,7 @@ foreach (@addmedia_args) { $_->[0], $_->[1], if_(!$distrib, undef), - if_($update, update => $update), + if_($update, update => $update, only_updates => $update), mirrorlist => $mirrorlist, if_($with_dir, 'with-dir' => $with_dir), ); |