Skip to content
Snippets Groups Projects

Hedgedoc import

Merged Hedgedoc import
hedgedoc-import into main
Merged Andreas Domanowski requested to merge hedgedoc-import into main
Viewing commit 43ba5129
Prev Next
Show latest version
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
history_scripts/visit_migrated_documents.sh
+ 1
− 1
@@ -6,7 +6,7 @@ then
@@ -6,7 +6,7 @@ then
fi
fi
script_directory=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
script_directory=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
url_file=$script_directory/hedgedoc_documents_to_visit.url
url_file=$script_directory/hedgedoc_documents_to_visit.url
readarray -t url_array < $url_file
readarray -t url_array < "$url_file"
for i in "${url_array[@]}"
for i in "${url_array[@]}"
do
do
eval "$open_command $i"
eval "$open_command $i"