diff --git a/extract.sh b/extract.sh new file mode 100755 index 0000000..02c39de --- /dev/null +++ b/extract.sh @@ -0,0 +1,11 @@ +#! /bin/sh + +# download the dataset into the data directory +mkdir -p data +curl -o "./data/fr-esr-referentiel-geographique.csv" "https://data.enseignementsup-recherche.gouv.fr/explore/dataset/fr-esr-referentiel-geographique/download/?format=csv&timezone=Europe/Berlin&use_labels_for_header=true" + +# Install the dependency +raco pkg install --skip-installed --auto csv-reading + +# run the extraction script +racket extractor.rkt