diff options
| author | James Moger <james.moger@gitblit.com> | 2014-04-01 00:10:43 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2014-04-10 19:00:52 -0400 |
| commit | e5d0bacbf746e09a9194822b231cb27090f58973 (patch) | |
| tree | e6d7d2f96384aa89a4f965ad1f47fb130ec907a4 /src/main/distrib/data | |
| parent | ec3b719dab4ae3c51d8bd52ab2b4176f82c5006f (diff) | |
| download | gitblit-e5d0bacbf746e09a9194822b231cb27090f58973.tar.gz gitblit-e5d0bacbf746e09a9194822b231cb27090f58973.zip | |
Implement simple JSON-based plugin registry and install command
Diffstat (limited to 'src/main/distrib/data')
| -rw-r--r-- | src/main/distrib/data/gitblit.properties | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties index 1a613e25..c52423b9 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -548,6 +548,18 @@ tickets.redis.url = # SINCE 1.4.0
tickets.perPage = 25
+# The folder where plugins are loaded from.
+#
+# SINCE 1.5.0
+# RESTART REQUIRED
+# BASEFOLDER
+plugins.folder = ${baseFolder}/plugins
+
+# The registry of available plugins.
+#
+# SINCE 1.5.0
+plugins.registry = http://gitblit.github.io/gitblit-registry/plugins.json
+
#
# Groovy Integration
#
@@ -1850,11 +1862,3 @@ server.requireClientCertificates = false # SINCE 0.5.0
# RESTART REQUIRED
server.shutdownPort = 8081
-
-# Base folder for plugins.
-# This folder may contain Gitblit plugins
-#
-# SINCE 1.6.0
-# RESTART REQUIRED
-# BASEFOLDER
-plugins.folder = ${baseFolder}/plugins
|