Allow mirrors to be defined in the index
See original GitHub issueSeveral wordnet projects have changes that will require some new features in the index.
- The OMW English Wordnet was misnamed the Princeton WordNet previously. The old and new data should be renamed, along with the identifiers and versions (e.g.,
pwn:3.0
->wn30:1.4+omw
). When someone uses the old identifier, a warning should be issued as it redirects to the new resource. - It might also be useful to have a general mechanism for displaying messages when someone downloads a wordnet. One use for this is to recommend users of the upcoming OWN-PT wordnet to also get the OWN-EN wordnet to go along with it.
- There have been some reliability issues with servers hosting wordnets (see #141), so it would be good to be able to specify a mirror in case one server times out.
These changes might look like this:
[pwn]
warn = "This project has been renamed. See https://... for more information."
[pwn.versions."3.0"]
redirect = "wn30:1.4+omw"
[pwn.versions."3.1"]
redirect = "wn31:1.4+omw"
[wn30]
label = "OMW English Wordnet 3.0"
[wn30.versions."1.4+omw"]
url = "https://..."
[wn31]
label = "OMW English Wordnet 3.1"
[wn31.versions."1.4+omw"]
url = "https://..."
[ewn]
label = "Estonian Wordnet"
# ...
[ewn.versions.2020]
warn = "The Open English WordNet is now under the identifier 'oewn'. See https://... for more information."
redirect = "oewn:2020"
[oewn]
label = "Open English WordNet"
language = "en"
license = "https://creativecommons.org/licenses/by/4.0/"
[oewn.versions.2020]
urls = [
"https://en-word.net/static/english-wordnet-2020.xml.gz",
"https://...",
]
[oewn.versions.2019]
urls = [
"https://en-word.net/static/english-wordnet-2019.xml.gz",
"https://...",
]
Issue Analytics
- State:
- Created 2 years ago
- Comments:5 (3 by maintainers)
Top Results From Across the Web
Guide to Mirror Settings - Apache Maven
To configure a mirror of a given repository, you provide it in your settings file ( ${user.home}/.m2/settings.xml ), giving the new repository its...
Read more >A set of useful alternative package index mirrors? · Issue #3870
So I am wondering if there is already a list of stable alternative mirrors which can be used already? I can only find...
Read more >Repository mirroring - GitLab Docs
You can mirror a repository to and from external sources. You can select which repository serves as the source. Branches, tags, and commits...
Read more >Elasticsearch mirrors the Data - Discuss the - Elastic Discuss
I am able to run following command to change the replica from 0 to 1 curl -XPUT -d '{"number_of_replicas": "1"}' http://mysyslog01:9200/ ...
Read more >Package index mirrors and caches
Complete mirror with bandersnatch. Mirroring or caching of PyPI can be used to speed up local package installation, allow offline work, ...
Read more >
Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free
Top Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
This looks reasonable.
On Fri, Oct 22, 2021 at 4:19 AM Michael Wayne Goodman < @.***> wrote:
– Francis Bond http://www3.ntu.edu.sg/home/fcbond/ Division of Linguistics and Multilingual Studies Nanyang Technological University
That seems like a very good idea.
On Sat, Oct 23, 2021 at 6:41 AM Michael Wayne Goodman < @.***> wrote:
– Francis Bond http://www3.ntu.edu.sg/home/fcbond/ Division of Linguistics and Multilingual Studies Nanyang Technological University