Support private feeds in prep.sh (#14330)

Co-authored-by: Michael Simons <msimons@microsoft.com>
This commit is contained in:
Ilya Leoshkevich 2023-03-30 16:59:14 +02:00 committed by GitHub
parent cd063a9709
commit 6af27326cf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10,10 +10,13 @@ usage() {
echo " Prepares the environment to be built by downloading Private.SourceBuilt.Artifacts.*.tar.gz and"
echo " installing the version of dotnet referenced in global.json"
echo "options:"
echo " --no-artifacts Exclude the download of the previously source-built artifacts archive."
echo " --no-bootstrap Don't replace portable packages in the download source-built artifacts"
echo " --no-prebuilts Exclude the download of the prebuilts archive."
echo " --no-sdk Exclude the download of the .NET SDK."
echo " --no-artifacts Exclude the download of the previously source-built artifacts archive."
echo " --no-bootstrap Don't replace portable packages in the download source-built artifacts"
echo " --no-prebuilts Exclude the download of the prebuilts archive."
echo " --no-sdk Exclude the download of the .NET SDK."
echo " --runtime-source-feed URL of a remote server or a local directory, from which SDKs and"
echo " runtimes can be downloaded"
echo " --runtime-source-feed-key Key for accessing the above server, if necessary"
echo ""
}
@ -21,6 +24,8 @@ buildBootstrap=true
downloadArtifacts=true
downloadPrebuilts=true
installDotnet=true
runtime_source_feed=''
runtime_source_feed_key=''
positional_args=()
while :; do
if [ $# -le 0 ]; then
@ -44,6 +49,14 @@ while :; do
--no-sdk)
installDotnet=false
;;
--runtime-source-feed)
runtime_source_feed=$2
shift
;;
--runtime-source-feed-key)
runtime_source_feed_key=$2
shift
;;
*)
positional_args+=("$1")
;;