Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to handle missing <sense> tags #69

Open
nkprasad12 opened this issue Mar 5, 2023 · 3 comments
Open

How to handle missing <sense> tags #69

nkprasad12 opened this issue Mar 5, 2023 · 3 comments

Comments

@nkprasad12
Copy link
Contributor

I've been making some corrections in a local repository for my personal use.

For a few entries I notices that what was intended to be an individual "sense" entry was accidentally included as part of another, i.e I see
<sense ... >[sense X text] (α) [sense Y text]<sense>

I would like to add the missing sense tag, so that it's: <sense ... >[sense X text]</sense><sense>[sense Y text]<sense>, but I'm unsure of which ID I should assign to the new sense. Should the new sense be given:

  • the lowest free ID (which preserves backwards compatibility, but meaning the IDs aren't in order anymore), or
  • the ID in "order" (which requires changing all sense items that come after)?

e.g. should

<sense id="n123.6" >[sense X text] (α) [sense Y text]</sense>
<sense id="n123.7">[sense Z text]</sense>`

become

<sense id="n123.6" >[sense X text]</sense>
<sense id="n123.8">[sense Y text]</sense>
<sense id="n123.7">[sense Z text]</sense>

or

<sense id="n123.6" >[sense X text]</sense>
<sense id="n123.7">[sense Y text]</sense>
<sense id="n123.8">[sense Z text]</sense>
@lcerrato
Copy link
Contributor

lcerrato commented Mar 6, 2023

@nkprasad12
Hi,
we generally supplement with a, b, c etc. for missing entries or missing senses.

@nkprasad12
Copy link
Contributor Author

Thanks @lcerrato - I was also wondering how the two versions of L&S in this repo are kept in sync. Is there a way to generate one from the other? Or do changes need to be manually applied to both documents?

@lcerrato
Copy link
Contributor

lcerrato commented Mar 7, 2023

@nkprasad12
There is very little active editing so I manually change both versions.
We should probably just adopt the Unicode version, but the repository is still in transition and I need to be sure that downstream resources are not affected.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants