pinokiod 1.3.51 → 1.3.52
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/kernel/shell.js +6 -2
- package/package.json +1 -1
package/kernel/shell.js
CHANGED
|
@@ -12,7 +12,7 @@ const path = require("path")
|
|
|
12
12
|
const sudo = require("sudo-prompt-programfiles-x86");
|
|
13
13
|
const unparse = require('yargs-unparser-custom-flag');
|
|
14
14
|
const shellPath = require('shell-path');
|
|
15
|
-
const
|
|
15
|
+
const Util = require('./util')
|
|
16
16
|
const Environment = require('./environment')
|
|
17
17
|
const home = os.homedir()
|
|
18
18
|
class Shell {
|
|
@@ -112,9 +112,13 @@ class Shell {
|
|
|
112
112
|
|
|
113
113
|
this.env.CMAKE_OBJECT_PATH_MAX = 1024
|
|
114
114
|
|
|
115
|
-
// Well Known Cache
|
|
116
115
|
let home_env = await Environment.get(this.kernel.homedir)
|
|
117
116
|
this.env = Object.assign(this.env, home_env)
|
|
117
|
+
if (params.$parent) {
|
|
118
|
+
let api_path = await Util.api_path(params.$parent.path, this.kernel)
|
|
119
|
+
let current_env = await Environment.get(api_path)
|
|
120
|
+
this.env = Object.assign(this.env, current_env)
|
|
121
|
+
}
|
|
118
122
|
let PATH_KEY;
|
|
119
123
|
if (this.env.Path) {
|
|
120
124
|
PATH_KEY = "Path"
|