GitHub user dkuppitz opened a pull request:
https://github.com/apache/incubator-tinkerpop/pull/276
TINKERPOP-1109 Make Gremlin Console better suited for system level installs
`gremlin.sh` now handles user-defined `ext/` directories (`tinkerpop.ext`).
If the user specified directory doesn't exist, it will
a) create it and
b) copy the contents of `gremlin-console/ext` to it
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/apache/incubator-tinkerpop TINKERPOP-1109
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/incubator-tinkerpop/pull/276.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #276
----
commit af827fb18c415d9ca85d1f1c9480b8eb03ac7263
Author: Stephen Mallette <sp...@genoprime.com>
Date: 2016-03-18T18:46:58Z
Refactored to allow Console to fall back to user directories if
tinkerpop.ext not specified.
This is a more consistent way to deal with the file system and will allow
better system level installs where gremlin.sh is shared.
commit 7d3731b258ee2b185242ca3e6d04993310c98d05
Author: Daniel Kuppitz <daniel_kupp...@hotmail.com>
Date: 2016-03-23T12:13:12Z
handle user defined plugin directories
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---
