- Daniele Giachetto
- Davide Albiero
- Francesco De Marchi
- Giosuè Calgaro
- Lucrezia Gradi
- Matteo Pagotto
- Tommaso Poppi
Per usare gli script è necessario Python 3.6+ e installare firebase-admin con il seguente comando pip install firebase-admin
.
Assicurarsi che nella root principale ci sia il file glossarioChiave.json
(disponibile su Slack#documenti-vari)
- Per aggiungere una parola al glossario, la parola deve essere racchiusa da
\glo{PAROLA}
- Il passo successivo è
python3 upload-glossario.py
per caricare le parole su Firebase. - Per modificare la descrizione bisogna collegarsi a Firebase con l'account gmail del gruppo.
Una volta collegati si potrà modificare la descrizione delle parole aggiunte. - Per creare il glossario bisogna eseguire lo script
python3 make-glossario.py
. - Per cercare tutte le parole che non sono racchiuse in
\glo{ }
lanciate lo scriptpython3 check-glossario.py
CONSIGLIO DI EFFETTUARE UN COMMIT PRIMA DI QUESTO COMANDO, COSÌ DA VEDERE QUALI PAROLE SONO STATE CAMBIATE.