diff --git a/admin/fill_exercices.sh b/admin/fill_exercices.sh index e428c269..2f9c5564 100755 --- a/admin/fill_exercices.sh +++ b/admin/fill_exercices.sh @@ -88,7 +88,13 @@ unhtmlentities() { } # Theme -get_dir "" | while read f; do basename "$f"; done | while read THEME_URI +{ + if [ $# -ge 1 ]; then + echo $1 + else + get_dir "" + fi +} | while read f; do basename "$f"; done | while read THEME_URI do THM_BASEURI="/${THEME_URI}/" THEME_NAME=$(echo "${THEME_URI#*-}" | unhtmlentities) @@ -103,7 +109,13 @@ do LAST=null EXO_NUM=0 - get_dir "${THM_BASEURI}" | while read f; do basename "$f"; done | while read EXO_URI + { + if [ $# -ge 2 ]; then + echo "$2" + else + get_dir "${THM_BASEURI}" + fi + } | while read f; do basename "$f"; done | while read EXO_URI do case ${EXO_URI} in [0-9]-*)