From b3f2219fabf6f5b3906a0dd716719068cb90f9c7 Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Mon, 6 Feb 2017 19:48:18 +0000
Subject: [PATCH] better name for extensions folder

---
 plugins/c9.ide.server/plugins.js               | 4 ++--
 {extensions => user-plugins}/scripts/update.sh | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename {extensions => user-plugins}/scripts/update.sh (100%)

diff --git a/plugins/c9.ide.server/plugins.js b/plugins/c9.ide.server/plugins.js
index 29f92416..000af301 100644
--- a/plugins/c9.ide.server/plugins.js
+++ b/plugins/c9.ide.server/plugins.js
@@ -98,11 +98,11 @@ define(function(require, exports, module) {
                 
                 try {
                     statics.addStatics(
-                        fs.readdirSync(__dirname + "/../../extensions/").map(function(plugin) {
+                        fs.readdirSync(__dirname + "/../../user-plugins/").map(function(plugin) {
                             if (/^scripts$|\.(json|sh)$/.test(plugin)) 
                                 return;
                             return {
-                                path: __dirname + "/../../extensions/" + plugin,
+                                path: __dirname + "/../../user-plugins/" + plugin,
                                 mount: "/plugins/" + plugin
                             };
                         }).filter(Boolean)
diff --git a/extensions/scripts/update.sh b/user-plugins/scripts/update.sh
similarity index 100%
rename from extensions/scripts/update.sh
rename to user-plugins/scripts/update.sh