From d675840fc12642c4fcb9f9eb7bf604e69d8dd29d Mon Sep 17 00:00:00 2001 From: philipp Date: Tue, 6 Feb 2024 11:47:26 +0100 Subject: [PATCH] remove not-needed file --- download_all_pars_from_list.sh | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 download_all_pars_from_list.sh diff --git a/download_all_pars_from_list.sh b/download_all_pars_from_list.sh deleted file mode 100755 index 555c554..0000000 --- a/download_all_pars_from_list.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/bash - -# Name of the file containing the URLs -input_file="overview.result" - -# Check if the input file exists -if [ ! -f "$input_file" ]; then - echo "File $input_file does not exist." - exit 1 -fi - -# Counter for line number -line_number=1 - -# Iterate over each line in the file -while IFS= read -r url; do - formatted_line_number=$(printf "%04d" $line_number) - # Use wget to download the content and save it to a file named ".xml" - wget -O "par/${formatted_line_number}.xml" "$url" - - # Increment the line number - ((line_number++)) -done < "$input_file"