[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#55493: [PATCH] Rename Oriya to Odia
From: |
Richard Stallman |
Subject: |
bug#55493: [PATCH] Rename Oriya to Odia |
Date: |
Thu, 19 May 2022 19:13:12 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> > (set-language-info-alist
> > - "Oriya" '((charset unicode)
> > - (coding-system utf-8)
> > - (coding-priority utf-8)
> > - (input-method . "oriya-itrans")
> > - (sample-text . "Oriya (ଓଡ଼ିଆ) ନମସ୍କାର")
> > - (documentation . "\
> > -Such languages using Oriya script as Oriya, Khonti, and Santali
> > + "Odia" '((charset unicode) ;; formerly Oriya
> > + (coding-system utf-8)
> > + (coding-priority utf-8)
> > + (input-method . "odia-itrans")
> > + (sample-text . "Odia (ଓଡ଼ିଆ) ନମସ୍କାର")
> > + (documentation . "\
> > +Such languages using Odia script as Odia, Khonti, and Santali
> > are supported in this language environment."))
> > '("Indian"))
What you said about input methods applies here too. We should add the
"Odia" item and keep the "Oriya" item (though updating its doc
string).
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- bug#55493: [PATCH] Rename Oriya to Odia, (continued)
- bug#55493: [PATCH] Rename Oriya to Odia, Visuwesh, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia, Eli Zaretskii, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia, समीर सिंह Sameer Singh, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia, Eli Zaretskii, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia, समीर सिंह Sameer Singh, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia, Eli Zaretskii, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia, समीर सिंह Sameer Singh, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia, Eli Zaretskii, 2022/05/19
- bug#55493: [PATCH] Rename Oriya to Odia, समीर सिंह Sameer Singh, 2022/05/19
bug#55493: [PATCH] Rename Oriya to Odia, Eli Zaretskii, 2022/05/18
- bug#55493: [PATCH] Rename Oriya to Odia,
Richard Stallman <=