diff options
| author | Pascal Terjan <pterjan@mageia.org> | 2020-08-29 15:10:26 +0000 |
|---|---|---|
| committer | Pascal Terjan <pterjan@mageia.org> | 2020-09-09 15:52:20 +0000 |
| commit | fb6b4799fe4de44d9877422f68f4efbf602d3494 (patch) | |
| tree | 0460adeda1a8735df74011c0d03c5659cd564425 /urpmi.addmedia | |
| parent | 82babb54cd00fbf27fbe1405529a723ce812d50b (diff) | |
| download | urpmi-fb6b4799fe4de44d9877422f68f4efbf602d3494.tar urpmi-fb6b4799fe4de44d9877422f68f4efbf602d3494.tar.gz urpmi-fb6b4799fe4de44d9877422f68f4efbf602d3494.tar.bz2 urpmi-fb6b4799fe4de44d9877422f68f4efbf602d3494.tar.xz urpmi-fb6b4799fe4de44d9877422f68f4efbf602d3494.zip | |
Add --ignorearch to urpmi.addmedia --distribuser/pterjan/ignorearch
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, |