|
// Derived from https://github.com/microsoft/vscode/blob/315b0949786b3807f05cb6acd13bf0029690a052/extensions/terminal-suggest/src/tokens.ts#L14-L18 |
|
// Some of these can match the same string, so the order matters. |
|
// |
|
// This isn't perfect, at some point it would be better off moving over to tree sitter for this |
|
// instead of simple string matching. |
|
const shellTypeResetChars = new Map<'sh' | 'zsh' | 'pwsh', string[]>([ |
|
['sh', sortByStringLengthDesc([ |
|
// Redirection docs (bash) https://www.gnu.org/software/bash/manual/html_node/Redirections.html |
|
...createNumberRange(1, 9).concat('').map(n => `${n}<<<`), // Here strings |
|
...createNumberRange(1, 9).concat('').flatMap(n => createNumberRange(1, 9).map(m => `${n}>&${m}`)), // Redirect stream to stream |
|
...createNumberRange(1, 9).concat('').map(n => `${n}<>`), // Open file descriptor for reading and writing |
|
...createNumberRange(1, 9).concat('&', '').map(n => `${n}>>`), |
|
...createNumberRange(1, 9).concat('&', '').map(n => `${n}>`), |
|
'0<', '||', '&&', '|&', '<<', '&', ';', '{', '>', '<', '|' |
|
])], |
|
['zsh', sortByStringLengthDesc([ |
|
// Redirection docs https://zsh.sourceforge.io/Doc/Release/Redirection.html |
|
...createNumberRange(1, 9).concat('').map(n => `${n}<<<`), // Here strings |
|
...createNumberRange(1, 9).concat('').flatMap(n => createNumberRange(1, 9).map(m => `${n}>&${m}`)), // Redirect stream to stream |
|
...createNumberRange(1, 9).concat('').map(n => `${n}<>`), // Open file descriptor for reading and writing |
|
...createNumberRange(1, 9).concat('&', '').map(n => `${n}>>`), |
|
...createNumberRange(1, 9).concat('&', '').map(n => `${n}>`), |
|
'<(', '||', '>|', '>!', '&&', '|&', '&', ';', '{', '<(', '<', '|' |
|
])], |
|
['pwsh', sortByStringLengthDesc([ |
|
// Redirection docs: https://learn.microsoft.com/en-us/powershell/module/microsoft.powershell.core/about/about_redirection?view=powershell-7.5 |
|
...createNumberRange(1, 6).concat('*', '').flatMap(n => createNumberRange(1, 6).map(m => `${n}>&${m}`)), // Stream to stream redirection |
|
...createNumberRange(1, 6).concat('*', '').map(n => `${n}>>`), |
|
...createNumberRange(1, 6).concat('*', '').map(n => `${n}>`), |
|
'&&', '<', '|', ';', '!', '&' |
|
])], |
|
]); |