-
Notifications
You must be signed in to change notification settings - Fork 41
Expand file tree
/
Copy pathshellUtils.ts
More file actions
157 lines (138 loc) · 6.2 KB
/
shellUtils.ts
File metadata and controls
157 lines (138 loc) · 6.2 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
import { PythonCommandRunConfiguration, PythonEnvironment } from '../../../../api';
import { isWindows } from '../../../../common/utils/platformUtils';
import { getConfiguration } from '../../../../common/workspace.apis';
import { ShellConstants } from '../../../common/shellConstants';
import { quoteArgs } from '../../../execution/execUtils';
/**
* Shells that support a leading space to prevent command from being saved in history.
* - Bash: When HISTCONTROL contains 'ignorespace' or 'ignoreboth'
* - Zsh: When setopt HIST_IGNORE_SPACE is enabled
* - Git Bash: Uses bash under the hood, same behavior as Bash
*/
export const shellsWithLeadingSpaceHistorySupport = new Set([
ShellConstants.BASH,
ShellConstants.ZSH,
ShellConstants.GITBASH,
]);
const defaultShellDelimiter = '&&';
const shellDelimiterByShell = new Map<string, string>([
[ShellConstants.PWSH, ';'],
[ShellConstants.NU, ';'],
[ShellConstants.FISH, '; and'],
]);
export function getShellCommandAsString(shell: string, command: PythonCommandRunConfiguration[]): string {
const delimiter = shellDelimiterByShell.get(shell) ?? defaultShellDelimiter;
const parts = [];
for (const cmd of command) {
const args = cmd.args ?? [];
parts.push(quoteArgs([normalizeShellPath(cmd.executable, shell), ...args]).join(' '));
}
let commandStr = parts.join(` ${delimiter} `);
if (shell === ShellConstants.PWSH && parts.length > 1) {
commandStr = parts.map((p) => `(${p})`).join(` ${delimiter} `);
}
// Add a leading space for shells that support history ignore with leading space.
// This prevents the activation command from being saved in bash/zsh history
// when HISTCONTROL=ignorespace (bash) or setopt HIST_IGNORE_SPACE (zsh) is set.
if (shellsWithLeadingSpaceHistorySupport.has(shell)) {
return ` ${commandStr}`;
}
return commandStr;
}
export function normalizeShellPath(filePath: string, shellType?: string): string {
if (isWindows() && shellType) {
if (shellType.toLowerCase() === ShellConstants.GITBASH || shellType.toLowerCase() === 'git-bash') {
return filePath.replace(/\\/g, '/').replace(/^\/([a-zA-Z])/, '$1:');
}
}
return filePath;
}
export function getShellActivationCommand(
shell: string,
environment: PythonEnvironment,
): PythonCommandRunConfiguration[] | undefined {
let activation: PythonCommandRunConfiguration[] | undefined;
if (environment.execInfo?.shellActivation) {
activation = environment.execInfo.shellActivation.get(shell);
if (!activation) {
activation = environment.execInfo.shellActivation.get('unknown');
}
}
if (!activation) {
activation = environment.execInfo?.activation;
}
return activation;
}
export function getShellDeactivationCommand(
shell: string,
environment: PythonEnvironment,
): PythonCommandRunConfiguration[] | undefined {
let deactivation: PythonCommandRunConfiguration[] | undefined;
if (environment.execInfo?.shellDeactivation) {
deactivation = environment.execInfo.shellDeactivation.get(shell);
if (!deactivation) {
deactivation = environment.execInfo.shellDeactivation.get('unknown');
}
}
if (!deactivation) {
deactivation = environment.execInfo?.deactivation;
}
return deactivation;
}
export const PROFILE_TAG_START = '###PATH_START###';
export const PROFILE_TAG_END = '###PATH_END###';
export function extractProfilePath(content: string): string | undefined {
// Extract only the part between the tags
const profilePathRegex = new RegExp(`${PROFILE_TAG_START}\\r?\\n(.*?)\\r?\\n${PROFILE_TAG_END}`, 's');
const match = content?.match(profilePathRegex);
if (match && match[1]) {
const extractedPath = match[1].trim();
return extractedPath;
}
return undefined;
}
export function isWsl(): boolean {
// WSL sets these environment variables
return !!(process.env.WSL_DISTRO_NAME || process.env.WSL_INTEROP || process.env.WSLENV);
}
export async function getShellIntegrationEnabledCache(): Promise<boolean> {
const shellIntegrationInspect =
getConfiguration('terminal.integrated').inspect<boolean>('shellIntegration.enabled');
let shellIntegrationEnabled = true;
if (shellIntegrationInspect) {
// Priority: workspaceFolder > workspace > globalRemoteValue > globalLocalValue > global > default
const inspectValue = shellIntegrationInspect as Record<string, unknown>;
if (shellIntegrationInspect.workspaceFolderValue !== undefined) {
shellIntegrationEnabled = shellIntegrationInspect.workspaceFolderValue;
} else if (shellIntegrationInspect.workspaceValue !== undefined) {
shellIntegrationEnabled = shellIntegrationInspect.workspaceValue;
} else if ('globalRemoteValue' in shellIntegrationInspect && inspectValue.globalRemoteValue !== undefined) {
shellIntegrationEnabled = inspectValue.globalRemoteValue as boolean;
} else if ('globalLocalValue' in shellIntegrationInspect && inspectValue.globalLocalValue !== undefined) {
shellIntegrationEnabled = inspectValue.globalLocalValue as boolean;
} else if (shellIntegrationInspect.globalValue !== undefined) {
shellIntegrationEnabled = shellIntegrationInspect.globalValue;
} else if (shellIntegrationInspect.defaultValue !== undefined) {
shellIntegrationEnabled = shellIntegrationInspect.defaultValue;
}
}
return shellIntegrationEnabled;
}
// Shells that support shell integration way of environment activation.
// CMD is not listed here, but we still want to support activation via profile modification.
export const shellIntegrationSupportedShells = [
ShellConstants.PWSH,
ShellConstants.BASH,
ShellConstants.GITBASH,
ShellConstants.FISH,
ShellConstants.ZSH,
];
/**
* Determines whether profile-based activation should be used instead of shell integration.
* Profile activation is preferred when:
* - Running in WSL
* - The shell type doesn't support shell integration (e.g., cmd)
*/
export function shouldUseProfileActivation(shellType: string): boolean {
return isWsl() || !shellIntegrationSupportedShells.includes(shellType);
}