Skip to content
Snippets Groups Projects

+ fixes for prepare and CI scripts

Merged Philip Makedonski requested to merge dev into main
1 file
+ 5
4
Compare changes
  • Side-by-side
  • Inline
+ 5
4
@@ -34,8 +34,9 @@ process_contents() {
exit 0
fi
# make parent dirs
mkdir -p `dirname "$line"`
mkdir -p `dirname "$channel/$line"`
# get file
echo curl "$BASE_URL/$channel/$line" -o "$channel/$line"
curl "$BASE_URL/$channel/$line" -o "$channel/$line"
done < "$file"
# update contents
@@ -55,11 +56,11 @@ else
fi
# Debugging
# # Debugging
# BASE_URL="https://top.etsi.org/top-extras/updatesite"
# TARGET_CHANNEL="beta"
# TARGET_CHANNEL="stable"
# SITE_PATH="updatesite/org.etsi.mts.tdl.extras.updatesite/target/repository"
# RELEASE_BASE_PATH="public/updatesite"
# # process_contents beta
# update_contents "$SITE_PATH"
# process_contents "$TARGET_CHANNEL"
Loading