1
0

Une maj ?

Je ne sais même plus s'il y a une maj de ce fichier...
This commit is contained in:
Jybz 2019-11-09 17:33:39 +00:00
parent 846b540c42
commit 57362fa374

View File

@ -110,6 +110,10 @@ function addmedia()
{ {
title "Creating media ${MIRROR}" title "Creating media ${MIRROR}"
info "Removing old media"
/sbin/urpmi.removemedia --urpmi-root "${BUILD_PATH}" -a
info "Adding media"
if [ ! -z "${MIRROR}" ] ; then if [ ! -z "${MIRROR}" ] ; then
/sbin/urpmi.addmedia --urpmi-root "${BUILD_PATH}" --distrib "${MIRROR}" /sbin/urpmi.addmedia --urpmi-root "${BUILD_PATH}" --distrib "${MIRROR}"
else else