diff options
| author | Pascal Terjan <pterjan@mageia.org> | 2020-08-29 15:10:26 +0000 |
|---|---|---|
| committer | Thierry Vignaud <thierry.vignaud@gmail.com> | 2020-11-23 20:57:44 +0100 |
| commit | 22c8a374186b68db43c6a761d12e29a8a978cf22 (patch) | |
| tree | 9d75a1e95abb36a558c7ed712b3a756563314864 /urpmi.addmedia | |
| parent | 6c21647504e586307882d27a58881aa33dae5bf9 (diff) | |
| download | urpmi-22c8a374186b68db43c6a761d12e29a8a978cf22.tar urpmi-22c8a374186b68db43c6a761d12e29a8a978cf22.tar.gz urpmi-22c8a374186b68db43c6a761d12e29a8a978cf22.tar.bz2 urpmi-22c8a374186b68db43c6a761d12e29a8a978cf22.tar.xz urpmi-22c8a374186b68db43c6a761d12e29a8a978cf22.zip | |
Add --ignorearch to urpmi.addmedia --distrib
urpmi.addmedia --distrib --ignorearch allows to use --distrib to
create a chroot for a different architecture.
This is useful to build for armv5 or armv7 on the other one, and
to create chroots with qemu used to execute foreign binaries.
Diffstat (limited to 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index 8b4d08f9..19d23b02 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -75,6 +75,7 @@ and [options] are from medium. ") . N(" --interactive - with --distrib, ask confirmation for each media ") . N(" --all-media - with --distrib, add every listed media +") . N(" --ignorearch - with --distrib, add media from incompatible archs ") . N(" --virtual - create virtual media wich are always up-to-date. ") . N(" --no-md5sum - disable MD5SUM file checking. ") . N(" --nopubkey - don't import pubkey of added media @@ -153,6 +154,7 @@ if ($options{distrib}) { ask_media => $add_media_callback, 'verify-rpm' => $options{'verify-rpm'}, 'xml-info' => $options{'xml-info'}, + ignorearch => $options{ignorearch}, ) or $urpm->{fatal}(10, N("unable to add medium")); $ok = urpm::media::update_media($urpm, %options, quiet => $options{verbose} < 0, |