pinokiod 3.2.175 → 3.2.176
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 +3 -3
- package/package.json +1 -1
package/kernel/shell.js
CHANGED
|
@@ -663,7 +663,7 @@ class Shell {
|
|
|
663
663
|
if (env_exists) {
|
|
664
664
|
venv_activation = [
|
|
665
665
|
(this.platform === "win32" ? `${activate_path} ${env_path}` : `source ${activate_path} ${env_path}`),
|
|
666
|
-
(this.platform === 'win32' ?
|
|
666
|
+
(this.platform === 'win32' ? `${timeout} /t 1 > nul` : 'sleep 1'),
|
|
667
667
|
]
|
|
668
668
|
} else {
|
|
669
669
|
venv_activation = [
|
|
@@ -671,9 +671,9 @@ class Shell {
|
|
|
671
671
|
(this.platform === "win32" ? `${activate_path} ${env_path}` : `source ${activate_path} ${env_path}`),
|
|
672
672
|
`python -m pip install --upgrade pip setuptools wheel`,
|
|
673
673
|
(this.platform === "win32" ? `${deactivate_path}` : `source ${deactivate_path}`),
|
|
674
|
-
(this.platform === 'win32' ?
|
|
674
|
+
(this.platform === 'win32' ? `${timeout} /t 1 > nul` : 'sleep 1'),
|
|
675
675
|
(this.platform === "win32" ? `${activate_path} ${env_path}` : `source ${activate_path} ${env_path}`),
|
|
676
|
-
(this.platform === 'win32' ?
|
|
676
|
+
(this.platform === 'win32' ? `${timeout} /t 1 > nul` : 'sleep 1'),
|
|
677
677
|
]
|
|
678
678
|
}
|
|
679
679
|
} else {
|