diff options
| author | Jybz <j.biernacki@free.fr> | 2019-11-09 17:33:39 +0000 |
|---|---|---|
| committer | Jybz <j.biernacki@free.fr> | 2019-11-09 17:33:39 +0000 |
| commit | 57362fa37479f6d248c14b483cba039ef00017b9 (patch) | |
| tree | 2bc63a570732eb6f99c4b89bc5cddee29915aa51 | |
| parent | 846b540c420a359a0fd52542324a93ddc0640856 (diff) | |
| download | mageia4arm-57362fa37479f6d248c14b483cba039ef00017b9.tar mageia4arm-57362fa37479f6d248c14b483cba039ef00017b9.tar.gz mageia4arm-57362fa37479f6d248c14b483cba039ef00017b9.tar.bz2 mageia4arm-57362fa37479f6d248c14b483cba039ef00017b9.tar.xz mageia4arm-57362fa37479f6d248c14b483cba039ef00017b9.zip | |
Une maj ?
Je ne sais même plus s'il y a une maj de ce fichier...
| -rw-r--r-- | create_arm_img_urpmi.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/create_arm_img_urpmi.sh b/create_arm_img_urpmi.sh index 330c533..6c2d40c 100644 --- a/create_arm_img_urpmi.sh +++ b/create_arm_img_urpmi.sh @@ -110,6 +110,10 @@ function addmedia() { title "Creating media ${MIRROR}" + info "Removing old media" + /sbin/urpmi.removemedia --urpmi-root "${BUILD_PATH}" -a + + info "Adding media" if [ ! -z "${MIRROR}" ] ; then /sbin/urpmi.addmedia --urpmi-root "${BUILD_PATH}" --distrib "${MIRROR}" else |