MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Added SSH Console for remote interpreter.

Browse Source
This commit is contained in:
Dmitry Trofimov
2013-01-16 13:54:40 +01:00
parent 5cc6f9de18
commit d54f4f0973
2 changed files with 12 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/pycharm_build.gant
+9 -5
View File
@@ -152,7 +152,11 @@ private layoutPlugins(layouts) {
dir("plugins") {
layouts.layoutPlugin("django-db-config")
layouts.layoutPlugin("python-javascript-debugger")
layouts.layoutPlugin("remote-run")
layouts.layoutPlugin("remote-run") {
fileset(dir: "$home/plugins/remote-run/lib") {
include(name: "jediterm-0.2.jar")
}
}
layouts.layoutPlugin("python-remote-interpreter")
layouts.layoutPlugin("vagrant") {
fileset(dir: "$home/plugins/vagrant/lib") {
@@ -214,11 +218,11 @@ private layoutFull(Map args, String target, Set usedJars) {
}
jar("openapi.jar") {
openapiModules.each { module it}
openapiModules.each { module it }
}
jar("annotations.jar") { module("annotations")}
jar("extensions.jar") { module("extensions")}
jar("annotations.jar") { module("annotations") }
jar("extensions.jar") { module("extensions") }
jar("pycharm.jar") {
implementationModules.each {
@@ -236,7 +240,7 @@ private layoutFull(Map args, String target, Set usedJars) {
module("python-pydev")
}
jar("bootstrap.jar") { module("bootstrap")}
jar("bootstrap.jar") { module("bootstrap") }
jar("resources.jar") {
module("platform-resources")
module("colorSchemes")
python/src/com/jetbrains/python/remote/PyRemoteSdkAdditionalData.java
+3 -3
View File
@@ -229,9 +229,9 @@ public final class PyRemoteSdkAdditionalData extends PythonSdkAdditionalData imp
if (element != null) {
data.myRemoteSdkDataHolder.loadRemoteSdkData(element);
data.setSkeletonsPath(StringUtil.nullize(element.getAttributeValue(SKELETONS_PATH)));
String helpers_path = StringUtil.nullize(element.getAttributeValue("PYCHARM_HELPERS_PATH"));
if (helpers_path != null) {
data.setHelpersPath(helpers_path);
String helpersPath = StringUtil.nullize(element.getAttributeValue("PYCHARM_HELPERS_PATH"));
if (helpersPath != null) {
data.setHelpersPath(helpersPath);
}
}