Remove jsontool dependency

This commit is contained in:
redfast00 2018-08-12 12:48:34 +02:00
parent 53506686bb
commit d01115f54b
No known key found for this signature in database
GPG Key ID: 5946E0E34FD0553C
2 changed files with 1 additions and 5 deletions

View File

@ -7,7 +7,3 @@ We usually use data from [Stad Gent](https://stad.gent/studenten/studeren/bloklo
## Dev
You can easily run the site locally by spawning a simple static file server in the `src` directory. For example with `python3 -m http.server` or any other one-liner in [this big list](https://gist.github.com/willurd/5720255).
This package uses [jsonlint](https://github.com/zaach/jsonlint) to check the validity of the json file.
Test validity locally by installing the npm package with `npm install -g jsonlint` and then running `jsonlint src/data.json`.

View File

@ -14,7 +14,7 @@ echo "-> Pulling latest release"
git pull | grep 'Already up[- ]to[- ]date.' && echo "No updates, exiting..." && exit 20
echo "-> Checking validity of data.json"
jsonlint src/data.json
python -m json.tool src/data.json > /dev/null
# Create release dir and copy sources to that dir