search

hhu-adam / lean-i18n

i18n library for Lean.
https://reservoir.lean-lang.org/@hhu-adam/i18n
Apache License 2.0
6 stars 0 forks source link

.pot generated with duplicated msgid #3

Closed JiechengZhao closed 5 months ago

JiechengZhao commented 7 months ago

See https://github.com/leanprover-community/NNG4/pull/61#issuecomment-2049512369 

jiecheng@jiecheng-Vostro-3420:~/workspace/lean/lean4games/NNG4$ msgmerge -U .i18n/zh/Game.po .i18n/en/Game.pot
.i18n/en/Game.pot:372: duplicate message definition...
.i18n/en/Game.pot:332: ...this is the location of the first definition
.i18n/en/Game.pot:503: duplicate message definition...
.i18n/en/Game.pot:473: ...this is the location of the first definition
.i18n/en/Game.pot:600: duplicate message definition...
.i18n/en/Game.pot:565: ...this is the location of the first definition
.i18n/en/Game.pot:1715: duplicate message definition...
.i18n/en/Game.pot:1661: ...this is the location of the first definition
.i18n/en/Game.pot:2139: duplicate message definition...
.i18n/en/Game.pot:2105: ...this is the location of the first definition
.i18n/en/Game.pot:2421: duplicate message definition...
.i18n/en/Game.pot:1911: ...this is the location of the first definition
msgmerge: found 6 fatal errors
joneugster commented 5 months ago

Finally got around to resolve this. Thanks for the report!