Skip to content

Conversation

@AlbertoGobbo
Copy link
Contributor

No description provided.

@AlbertoGobbo AlbertoGobbo added the docs - Glossario Appartiene al documento Glossario label Mar 1, 2020
@AlbertoGobbo AlbertoGobbo added this to the Integrazione feedback RR milestone Mar 1, 2020
@AlbertoGobbo AlbertoGobbo self-assigned this Mar 1, 2020
@AlbertoGobbo AlbertoGobbo removed the request for review from RiccardoCestaro March 1, 2020 15:49
@AlexRizzus AlexRizzus force-pushed the aggiornamento-glossario branch from 8937cea to 1d5cec6 Compare March 1, 2020 16:03
@erclu erclu changed the title docs: aggiungi nuovi termini al glossario Aggiornamenti glossario Mar 1, 2020
@erclu erclu force-pushed the aggiornamento-glossario branch from 6b84c4a to a0c78c6 Compare March 1, 2020 17:23
@erclu erclu removed the request for review from Alberto1598 March 1, 2020 17:32
@erclu erclu linked an issue Mar 1, 2020 that may be closed by this pull request
Copy link
Contributor

@RiccardoAgatea RiccardoAgatea left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nel json andrebbero tolti i termini con "toDelete".

@erclu erclu changed the title Aggiornamenti glossario Aggiornamenti Glossario Mar 2, 2020
@AlbertoGobbo
Copy link
Contributor Author

Nel json andrebbero tolti i termini con "toDelete".

In realtà lo faccio solo per evitare che si generino elementi che non vanno a glossario (perchè non hanno la prima lettera maiuscola per esempio) e non confonderli con i nuovi termini che dovranno essere inseriti davvero a glossario.

@erclu
Copy link
Member

erclu commented Mar 3, 2020

Nel json andrebbero tolti i termini con "toDelete".

In realtà lo faccio solo per evitare che si generino elementi che non vanno a glossario (perchè non hanno la prima lettera maiuscola per esempio) e non confonderli con i nuovi termini che dovranno essere inseriti davvero a glossario.

penso che quello che intende Riccardo sia di andare nei vari documenti e togliere il comando "\glossario{termineToDelete}", in modo da non doverli rimuovere manualmente dal tex che si genera con lo script. O mi son perso qualcosa?

@AlbertoGobbo
Copy link
Contributor Author

Nel json andrebbero tolti i termini con "toDelete".

In realtà lo faccio solo per evitare che si generino elementi che non vanno a glossario (perchè non hanno la prima lettera maiuscola per esempio) e non confonderli con i nuovi termini che dovranno essere inseriti davvero a glossario.

penso che quello che intende Riccardo sia di andare nei vari documenti e togliere il comando "\glossario{termineToDelete}", in modo da non doverli rimuovere manualmente dal tex che si genera con lo script. O mi son perso qualcosa?

Non questo. Quello che intendi tu è togliere i termini a glossario del tipo "utente autenticato", che iniziano con la lettera maiuscola, ma in realtà vanno lasciati. La regola del glossario è avere tutti i termini che devono partire con la lettera maiuscola. Quindi quello che sostanzialmente faccio è aggiungere il termine con la prima lettera maiuscola nel json (con annessa descrizione), e mettere come "toDelete" lo stesso termine ma con la prima lettera minuscola.
Esempio:
"Utente autenticato" : "descrizioneCompleta"
....
"utente autenticato" : "toDelete"

Vengono mantenuti i "toDelete", in quanto servono per non replicare termini da non mettere a
glossario. Vengono cancellati in glossario.tex.
@AlexRizzus AlexRizzus dismissed RiccardoAgatea’s stale review March 3, 2020 13:36

è stata discussa sotto

@AlexRizzus AlexRizzus merged commit b1d6e93 into master Mar 3, 2020
@AlexRizzus AlexRizzus deleted the aggiornamento-glossario branch March 3, 2020 13:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs - Glossario Appartiene al documento Glossario

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants