-
Notifications
You must be signed in to change notification settings - Fork 28.8k
/
terminalEnvironment.ts
56 lines (52 loc) · 1.98 KB
/
terminalEnvironment.ts
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
/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
import { OperatingSystem, OS } from 'vs/base/common/platform';
export function escapeNonWindowsPath(path: string): string {
let newPath = path;
if (newPath.indexOf('\\') !== 0) {
newPath = newPath.replace(/\\/g, '\\\\');
}
const bannedChars = /[\`\$\|\&\>\~\#\!\^\*\;\<\"\']/g;
newPath = newPath.replace(bannedChars, '');
return `'${newPath}'`;
}
/**
* Collapses the user's home directory into `~` if it exists within the path, this gives a shorter
* path that is more suitable within the context of a terminal.
*/
export function collapseTildePath(path: string | undefined, userHome: string | undefined, separator: string): string {
if (!path) {
return '';
}
if (!userHome) {
return path;
}
// Trim the trailing separator from the end if it exists
if (userHome.match(/[\/\\]$/)) {
userHome = userHome.slice(0, userHome.length - 1);
}
const normalizedPath = path.replace(/\\/g, '/').toLowerCase();
const normalizedUserHome = userHome.replace(/\\/g, '/').toLowerCase();
if (!normalizedPath.includes(normalizedUserHome)) {
return path;
}
return `~${separator}${path.slice(userHome.length + 1)}`;
}
/**
* Sanitizes a cwd string, removing any wrapping quotes and making the Windows drive letter
* uppercase.
* @param cwd The directory to sanitize.
*/
export function sanitizeCwd(cwd: string): string {
// Sanity check that the cwd is not wrapped in quotes (see #160109)
if (cwd.match(/^['"].*['"]$/)) {
cwd = cwd.substring(1, cwd.length - 1);
}
// Make the drive letter uppercase on Windows (see #9448)
if (OS === OperatingSystem.Windows && cwd && cwd[1] === ':') {
return cwd[0].toUpperCase() + cwd.substring(1);
}
return cwd;
}