diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2008-02-04 13:57:29 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2008-02-04 13:57:29 +0000 |
commit | 5740c412a3cffa30ba685ca9d1c204a883210aeb (patch) | |
tree | 23156d0e16fb941bfdeb2a97b76e96d77c7d2b10 /urpm.pm | |
parent | 1711a9d1d7c664bd938a6800ee88a8d950e3f971 (diff) | |
download | urpmi-5740c412a3cffa30ba685ca9d1c204a883210aeb.tar urpmi-5740c412a3cffa30ba685ca9d1c204a883210aeb.tar.gz urpmi-5740c412a3cffa30ba685ca9d1c204a883210aeb.tar.bz2 urpmi-5740c412a3cffa30ba685ca9d1c204a883210aeb.tar.xz urpmi-5740c412a3cffa30ba685ca9d1c204a883210aeb.zip |
- urpmi.cfg:
o "media_info_dir: media_info" is the default
o "no-media-info" is used for media for which media_info must be built from
rpms
the goal of this change is to allow upcoming /etc/urpmi/media.d/*.cfg (or
whatever they will be called) to skip mentionning media_info_dir,
but also to cleanup urpmi.cfg
Diffstat (limited to 'urpm.pm')
-rw-r--r-- | urpm.pm | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -383,8 +383,10 @@ B<source>: { id => src_rpm_file|spec_file } B<media>: [ { start => int, end => int, name => string, url => string, virtual => bool, media_info_dir => string, with_synthesis => string, + no-media-info => bool, removable => string, downloader => string, ignore => bool, update => bool, modified => bool, really_modified => bool, + unknown_media_info => bool, } ], =back |