diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-08-11 11:40:43 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-08-11 11:40:43 +0000 |
| commit | 58c4003c40a63ce57cc587b4651926c3a34c3632 (patch) | |
| tree | 7d24d46e6c85915e0a88acc07c3b13defea9aead /pod/urpmi.addmedia.8.pod | |
| parent | f71c4570e3918f9fb10e633cce55a214f476d828 (diff) | |
| download | urpmi-58c4003c40a63ce57cc587b4651926c3a34c3632.tar urpmi-58c4003c40a63ce57cc587b4651926c3a34c3632.tar.gz urpmi-58c4003c40a63ce57cc587b4651926c3a34c3632.tar.bz2 urpmi-58c4003c40a63ce57cc587b4651926c3a34c3632.tar.xz urpmi-58c4003c40a63ce57cc587b4651926c3a34c3632.zip | |
- all tools
o new option --wait-lock (#13025)
Diffstat (limited to 'pod/urpmi.addmedia.8.pod')
| -rw-r--r-- | pod/urpmi.addmedia.8.pod | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pod/urpmi.addmedia.8.pod b/pod/urpmi.addmedia.8.pod index 63d95ff6..8b551efb 100644 --- a/pod/urpmi.addmedia.8.pod +++ b/pod/urpmi.addmedia.8.pod @@ -156,6 +156,10 @@ on distributions. Use the file system tree rooted for urpmi database and rpm install. Contrary to B<--root>, the urpmi configuration comes from the rooted tree. +=item B<--wait-lock> + +If the urpmi or rpm db is busy, wait until it is available + =item B<--from> I<url> Use specified URL for list of mirrors. The default is taken from the file |