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 /urpmi.addmedia | |
| 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 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions