Opened 9 years ago
Closed 5 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 , 9 years ago
Attachment: | RemovedMissingDirectories.plugins.patch added |
---|
follow-up: 2 comment:1 by , 9 years ago
Resolution: | → invalid |
---|---|
Status: | new → closed |
comment:2 by , 9 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 , 9 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 , 9 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 , 9 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
svn
reported 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 asksgit
for 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 , 9 years ago
Attachment: | FixGitBuild.patch added |
---|
comment:7 by , 7 years ago
Component: | Plugin → Git mirror |
---|
comment:8 by , 5 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