Convert map from CSV to GeoJSON

[HadrienPatte]

Pourquoi :

• supprime la dependance a google maps -> les fichiers geojson peuvent etre visualises directement sur github
• permet egalement de remplacer la framacarte embed sur https://supelec-rezo.github.io/membres
• j'avais envie de tester geojson + github

Comment verifier la conversion CSV -> geojson :

sed 's#^\([^,]*\),\([^,]*\),\([^,]*\),\([^,]*\),\([^,]*\),\([^,]*\)$#    {\n      "type": "Feature",\n      "geometry": {\n        "type": "Point",\n        "coordinates": [\n          \6,\n          \5\n        ]\n      },\n      "properties": {\n        "pseudo": "\1",\n        "name": "\2",\n        "promo": "\3",\n        "last_update": "\4"\n      }\n    },#g' map.csv

(utiliser gnu-sed sur un mac)

Reste a faire :

• valider le geojson (avec quelquechose comme ca ou ca)

Choses a tester :

• couleur des marqueurs par promo ?

[remram44]

Si y'a moyen de colorer par promo je suis pour !

[remram44]

Ce serait peut-être mieux de générer le JSON à partir du CSV (via CI), sinon c'est quand même galère à maintenir...