Opened 10 years ago
Closed 6 years ago
#12399 closed enhancement (fixed)
Improve the josm-plugins git mirror
| Reported by: | kolesar | Owned by: | team |
|---|---|---|---|
| Priority: | normal | Milestone: | |
| Component: | Git mirror | Version: | |
| Keywords: | Cc: |
Description
Build errors were thrown for ant or even ant clean commands in the plugins directory. There were several directories listed in build.xml that do not exist in the repository. Removed corresponding lines from xml.
Attachments (2)
Change History (10)
by , 10 years ago
| Attachment: | RemovedMissingDirectories.plugins.patch added |
|---|
follow-up: 2 comment:1 by , 10 years ago
| Resolution: | → invalid |
|---|---|
| Status: | new → closed |
comment:2 by , 10 years ago
Replying to simon04:
Those plugin directories are provided by
svn:externals, see at the bottom of https://trac.openstreetmap.org/browser/subversion/applications/editors/josm/plugins
Sorry. I have checked out plugins from git mirror where these directories did not exist.
I added these four plugins with git submodule command but ant still failed because there are many more externals deeper in the tree. I have given up and checked out from svn.
comment:3 by , 10 years ago
Should be reported to the maintainer of that mirror, so they can activate the same system as used for the JOSM mirror.
follow-up: 6 comment:4 by , 10 years ago
| Resolution: | invalid |
|---|---|
| Status: | closed → reopened |
| Summary: | [patch] removed missing directories from build.xml → Improve the josm-plugins git mirror |
| Type: | defect → enhancement |
I run the JOSM mirror ;) → https://github.com/simon04/josm-mirror
Not a single external repository is fetched for the plugins – that's why it's an inofficial one …
Improvements to get a simpler/robuster/better mirroring process are very welcome
comment:6 by , 10 years ago
Replying to simon04:
Improvements to get a simpler/robuster/better mirroring process are very welcome
Could you please include externals into plugins mirror git repository? I have just sumbitted a pull request to https://github.com/simon04/josm-mirror.
Before I realized that some plugins have externals I tried to build plugins by adding missing four plugins manually. I had additional build failures:
- Build have failed because
svnreported an error when asked for commit date. It works only if working directory was checked out from svn. JOSM core has a nice solution for this situation: if svn reports failure then asksgitfor commits. Plugins did have the same algorithm in build-common.xml but some plugins used the svn-only method, did not include new one from common location. Applied the same for plugins where it was needed.
- Some plugins relied on empty directories that were checked out by svn but not by git, usually named
resources. Added mkdir commands where it was needed.
Attached patch that will be needed to build plugins successfully from git mirror.
by , 10 years ago
| Attachment: | FixGitBuild.patch added |
|---|
comment:7 by , 8 years ago
| Component: | Plugin → Git mirror |
|---|
comment:8 by , 6 years ago
| Resolution: | → fixed |
|---|---|
| Status: | reopened → closed |
Thanks for your patch. Obsolete due to [o32306].



Those plugin directories are provided by
svn:externals, see at the bottom of https://trac.openstreetmap.org/browser/subversion/applications/editors/josm/plugins