summaryrefslogtreecommitdiffstats
path: root/urpm.pm
diff options
context:
space:
mode:
authorPascal Rigaux <pixel@mandriva.com>2008-02-04 13:57:29 +0000
committerPascal Rigaux <pixel@mandriva.com>2008-02-04 13:57:29 +0000
commit5740c412a3cffa30ba685ca9d1c204a883210aeb (patch)
tree23156d0e16fb941bfdeb2a97b76e96d77c7d2b10 /urpm.pm
parent1711a9d1d7c664bd938a6800ee88a8d950e3f971 (diff)
downloadurpmi-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.pm2
1 files changed, 2 insertions, 0 deletions
diff --git a/urpm.pm b/urpm.pm
index e882cfd7..2d924630 100644
--- a/urpm.pm
+++ b/urpm.pm
@@ -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