<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il giorno ven 6 set 2019 alle ore 15:40 Matteo Bini via dev-italia <<a href="mailto:dev-italia@openstreetmap.org">dev-italia@openstreetmap.org</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Buon pomeriggio a tutti.<br>
Mi chiamo Matteo Bini e questo è il mio primo messaggio.<br>
<br>
Utilizzando lo strumento opening_hours evalutation tool [1] ho scoperto che<br>
in Italia il primo di Settembre è considarato festivo,<br>
sarebbe la Festa dell’unità nazionale.<br>
In quel giorno le attività con PH off in opening_hours risultano chiuse.<br>
Non so se la ricorrenza sia corretta, ma di sicuro<br>
i negozi non chiudono per tale data.<br>
<br>
Come si fa a modificare l'elenco delle festività da browser?<br>
Di solito inserisco i dati con la funzione Edit del sito di OSM.<br>
<br>
--<br>
Matteo Bini<br>
<br>
[1] <a href="https://openingh.openstreetmap.de/evaluation_tool/" rel="noreferrer" target="_blank">https://openingh.openstreetmap.de/evaluation_tool/</a></blockquote><div><br></div><div>Ciao Matteo,</div>effettivamente andrebbe corretto alla prima domenica di novembre e non di settembre, com'è ora...</div><div class="gmail_quote">Per apportare modifiche a quella lista di giorni festivi bisogna intervenire direttamente sul codice, ce si trova qua: <a href="https://github.com/opening-hours/opening_hours.js/blob/master/holidays/it.yaml">https://github.com/opening-hours/opening_hours.js/blob/master/holidays/it.yaml</a></div><div class="gmail_quote"><br></div><div class="gmail_quote">Lorenzo<br></div></div>