if [ -z "$source_url" ] || [ -z "$target_url" ] then echo"download_builds usage: "
exit 1 fi
for url in "$source_url""$target_url" do
source_file=$(basename "$url") if [ -f "$source_file" ]; thenrm"$source_file"; fi
cd downloads || exit if [ -f "$source_file" ]; thenrm"$source_file"; fi
cached_download "${source_file}""${url}"
status=$? if [ $status != 0 ]; then echo"TEST-UNEXPECTED-FAIL: Could not download source $source_file from $url" echo"skipping.."
cd ../
return $status fi
cd ../ done
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.