Re: internationalization support?
Benjamin Pierce <[email protected]> Mon, 19 Jan 2026 16:19:37 -0500
| Newsgroups | gmane.network.unison.devel |
|---|---|
| Message-ID | <CABgF7-NRuPhox8NZBQHBB_=obmdf9onNKMdKUNDJe8RoVC0PHA@mail.gmail.com> |
--===============6557452377587675698==
Content-Type: multipart/alternative; boundary="000000000000be755a0648c441d5"
--000000000000be755a0648c441d5
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
> Finally, a side-note: has anyone managed to setup news reader with
> this mailing list? Lore.kernel.org <https://urldefense.com/v3/__http://lo=
re.kernel.org/__;!!IBzWLUs!TmTB64xXSKlgFHveIp62dDluq09a5DmRG6qFhH_YGjU_Vjsg=
yTA1UTvZsubOaVDU0V2NiXAkRkFZEJKMFGlc7nxyVsl8hz9z_yW1$ > works with
no problems;
> I've tried various combinations: {news|lists|''}.seas.upenn.edu,
> different ports, but it seems maybe simply nntp protocol is not
> supported?
I am not aware of a news server, but maybe bcpierce@ knows.
I don't, I'm afraid.
- B
On Thu, Jan 15, 2026 at 11:17=E2=80=AFAM Greg Troxel <[email protected]> wrote:
> Krzysztof Kr=C3=B3lczyk <[email protected]> writes:
>
> > 1. Is there any will in the community to have
> > internationalization/translations? Perhaps there has been already a
> > discussion about it, and it was ruled out, as undesired.
>
> I do not remember any discussion.
>
> My views:
> - internationalization/translation would be great
> - I don't want to depend on non-Free tools including hosted translation=
s.
> - unison has avoided dependencies and your comments about unmerged
> ocaml patches points out things I would be afraid of :-(
> - ocaml-gettext isn't already packaged in pkgsrc. That doesn't mean I
> think ocaml-gettext is not ok, but it does mostly mean that nothing
> else in ocaml is that is packaged needs it.
> - I would want to be able to build without ocaml-gettext.
> - I'd be ok with checking for gettext and using it, more or less, on
> systems where it works (subject to a build flag to say don't). I'm
> ok with a world where i18n works on some systems and not others, as
> long as that's not structural so much as nobody has yet done the
> per-OS work.
>
> It looks like the ocaml getttext lib is maintained:
>
>
> https://urldefense.com/v3/__https://github.com/gildor478/ocaml-gettext__;=
!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xtwZ4EcBv7N0GMAFVMU=
VntjEocboNjCtlbQoiS81Vw$
>
> It seems that uses
>
>
> https://urldefense.com/v3/__https://github.com/ocaml-community/Camomile__=
;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xtwZ4EcBv7N0GMAFVM=
UVntjEocboNjCtlbQr0glHQu$
>
> which appears at a quick glance not maintained.
>
> > - It likely would slightly complicate build process (currently uses
> > OPAM gettext version downgraded to 0.4.2, because newer uses dune-site
> > which wasn't cooperating)
>
> hmm, another dependency, but if unison uses it if it's built and not if
> it isn't probably is ok.
>
> Has anyone on this list dealt with i18n in ocaml, as a developer or
> user? What is the standard approach?
>
> > Finally, a side-note: has anyone managed to setup news reader with
> > this mailing list? Lore.kernel.org works with no problems;
> > I've tried various combinations: {news|lists|''}.seas.upenn.edu,
> > different ports, but it seems maybe simply nntp protocol is not
> > supported?
>
> I am not aware of a news server, but maybe bcpierce@ knows.
>
> I am using gnus, with the articles stored in an IMAP folder. Not really
> what you asked.
>
> > While one can browse the archive on web page, it's certainly not very
> > convenient. I'd be happy to post this question to unison-users,
> > but like described in some GH issues - Google pages don't seem to
> > process asking for permission to view the list correctly.
>
> Indeed, I don't keep everything so my setup isn't useful for archive
> browsing.
>
> IMHO it's a bug that lists are on google. but we don't have a credible
> specific migration plan.
>
> https://urldefense.com/v3/__https://github.com/bcpierce00/unison/issues/7=
11__;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xtwZ4EcBv7N0GM=
AFVMUVntjEocboNjCtlbQhB5ZT6n$
>
>
>
> Feel totally free to open a draft PR if you have something that works,
> which will make it visible to all. Others may wish to test and help.
> _______________________________________________
> Unison-hackers mailing list
> [email protected]
> https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers=20
>
--000000000000be755a0648c441d5
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><blockquote style=3D"margin:0 0 0 40px;border:none;padding=
:0px">> Finally, a side-note: has anyone managed to setup news reader wi=
th<br>> this mailing list?=C2=A0<a href=3D"https://urldefense.com/v3/__h=
ttp://lore.kernel.org/__;!!IBzWLUs!TmTB64xXSKlgFHveIp62dDluq09a5DmRG6qFhH_Y=
GjU_VjsgyTA1UTvZsubOaVDU0V2NiXAkRkFZEJKMFGlc7nxyVsl8hz9z_yW1$" rel=3D"noref=
errer" target=3D"_blank">Lore.kernel.org</a>=C2=A0works with no problems;<b=
r>> I've tried various combinations: {news|lists|''}.<a href=
=3D"http://seas.upenn.edu/" rel=3D"noreferrer" target=3D"_blank">seas.upenn=
.edu</a>,<br>> different ports, but it seems maybe simply nntp protocol =
is not<br>> supported?</blockquote><br><blockquote style=3D"margin:0 0 0=
40px;border:none;padding:0px">I am not aware of a news server, but maybe=
=C2=A0<span class=3D"gmail-il">bcpierce</span>@ knows.<br></blockquote><br>=
<div>I don't, I'm afraid.</div><div><br></div><div>=C2=A0 =C2=A0- B=
</div><div><br></div></div><br><div class=3D"gmail_quote gmail_quote_contai=
ner"><div dir=3D"ltr" class=3D"gmail_attr">On Thu, Jan 15, 2026 at 11:17=E2=
=80=AFAM Greg Troxel <<a href=3D"mailto:[email protected]">[email protected]</=
a>> wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0p=
x 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Kr=
zysztof Kr=C3=B3lczyk <<a href=3D"mailto:[email protected]" targe=
t=3D"_blank">[email protected]</a>> writes:<br>
<br>
> 1. Is there any will in the community to have<br>
> internationalization/translations? Perhaps there has been already a<br>
> discussion about it, and it was ruled out, as undesired.<br>
<br>
I do not remember any discussion.<br>
<br>
My views:<br>
=C2=A0 - internationalization/translation would be great<br>
=C2=A0 - I don't want to depend on non-Free tools including hosted tran=
slations.<br>
=C2=A0 - unison has avoided dependencies and your comments about unmerged<b=
r>
=C2=A0 =C2=A0 ocaml patches points out things I would be afraid of :-(<br>
=C2=A0 - ocaml-gettext isn't already packaged in pkgsrc.=C2=A0 That doe=
sn't mean I<br>
=C2=A0 =C2=A0 think ocaml-gettext is not ok, but it does mostly mean that n=
othing<br>
=C2=A0 =C2=A0 else in ocaml is that is packaged needs it.<br>
=C2=A0 - I would want to be able to build without ocaml-gettext.<br>
=C2=A0 - I'd be ok with checking for gettext and using it, more or less=
, on<br>
=C2=A0 =C2=A0 systems where it works (subject to a build flag to say don=
9;t).=C2=A0 I'm<br>
=C2=A0 =C2=A0 ok with a world where i18n works on some systems and not othe=
rs, as<br>
=C2=A0 =C2=A0 long as that's not structural so much as nobody has yet d=
one the<br>
=C2=A0 =C2=A0 per-OS work.<br>
<br>
It looks like the ocaml getttext lib is maintained:<br>
<br>
=C2=A0 <a href=3D"https://urldefense.com/v3/__https://github.com/gildor478/=
ocaml-gettext__;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xtw=
Z4EcBv7N0GMAFVMUVntjEocboNjCtlbQoiS81Vw$" rel=3D"noreferrer" target=3D"_bla=
nk">https://urldefense.com/v3/__https://github.com/gildor478/ocaml-gettext_=
_;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xtwZ4EcBv7N0GMAFV=
MUVntjEocboNjCtlbQoiS81Vw$</a> <br>
<br>
It seems that uses<br>
<br>
=C2=A0 <a href=3D"https://urldefense.com/v3/__https://github.com/ocaml-comm=
unity/Camomile__;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xt=
wZ4EcBv7N0GMAFVMUVntjEocboNjCtlbQr0glHQu$" rel=3D"noreferrer" target=3D"_bl=
ank">https://urldefense.com/v3/__https://github.com/ocaml-community/Camomil=
e__;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xtwZ4EcBv7N0GMA=
FVMUVntjEocboNjCtlbQr0glHQu$</a> <br>
<br>
which appears at a quick glance not maintained.<br>
<br>
> =C2=A0 =C2=A0- It likely would slightly complicate build process (curr=
ently uses<br>
> OPAM gettext version downgraded to 0.4.2, because newer uses dune-site=
<br>
> which wasn't cooperating)<br>
<br>
hmm, another dependency, but if unison uses it if it's built and not if=
<br>
it isn't probably is ok.<br>
<br>
Has anyone on this list dealt with i18n in ocaml, as a developer or<br>
user?=C2=A0 What is the standard approach?<br>
<br>
> Finally, a side-note: has anyone managed to setup news reader with<br>
> this mailing list? <a href=3D"https://urldefense.com/v3/__http://Lore.=
kernel.org__;!!IBzWLUs!TmTB64xXSKlgFHveIp62dDluq09a5DmRG6qFhH_YGjU_VjsgyTA1=
UTvZsubOaVDU0V2NiXAkRkFZEJKMFGlc7nxyVsl8h0NOvaqH$" rel=3D"noreferrer" targe=
t=3D"_blank">Lore.kernel.org</a> works with no problems;<br>
> I've tried various combinations: {news|lists|''}.<a href=
=3D"http://seas.upenn.edu" rel=3D"noreferrer" target=3D"_blank">seas.upenn.=
edu</a>,<br>
> different ports, but it seems maybe simply nntp protocol is not<br>
> supported?<br>
<br>
I am not aware of a news server, but maybe bcpierce@ knows.<br>
<br>
I am using gnus, with the articles stored in an IMAP folder.=C2=A0 Not real=
ly<br>
what you asked.<br>
<br>
> While one can browse the archive on web page, it's certainly not v=
ery<br>
> convenient. I'd be happy to post this question to unison-users,<br>
> but like described in some GH issues - Google pages don't seem to<=
br>
> process asking for permission to view the list correctly.<br>
<br>
Indeed, I don't keep everything so my setup isn't useful for archiv=
e<br>
browsing.<br>
<br>
IMHO it's a bug that lists are on google. but we don't=C2=A0 have a=
credible<br>
specific migration plan.<br>
=C2=A0 <a href=3D"https://urldefense.com/v3/__https://github.com/bcpierce00=
/unison/issues/711__;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7=
b6xtwZ4EcBv7N0GMAFVMUVntjEocboNjCtlbQhB5ZT6n$" rel=3D"noreferrer" target=3D=
"_blank">https://urldefense.com/v3/__https://github.com/bcpierce00/unison/i=
ssues/711__;!!IBzWLUs!WgRjiOrg9gkUw4tud4qHZhu8xSjBh6l0s9KEeLYhzHG7b6xtwZ4Ec=
Bv7N0GMAFVMUVntjEocboNjCtlbQhB5ZT6n$</a> <br>
<br>
<br>
<br>
Feel totally free to open a draft PR if you have something that works,<br>
which will make it visible to all.=C2=A0 Others may wish to test and help.<=
br>
_______________________________________________<br>
Unison-hackers mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">Un=
[email protected]</a><br>
<a href=3D"https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers" re=
l=3D"noreferrer" target=3D"_blank">https://LISTS.SEAS.UPENN.EDU/mailman/lis=
tinfo/unison-hackers</a> <br>
</blockquote></div>
--000000000000be755a0648c441d5--
--===============6557452377587675698==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Unison-hackers mailing list
[email protected]
https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers
--===============6557452377587675698==--