(name: string)
| 34 | } |
| 35 | |
| 36 | function shellDisplayName(name: string) { |
| 37 | if (name === "pwsh") return "PowerShell (7+)" |
| 38 | if (name === "powershell") return "Windows PowerShell (5.1)" |
| 39 | if (name === "cmd") return "cmd.exe" |
| 40 | return name |
| 41 | } |
| 42 | |
| 43 | function powershellNotes(name: string) { |
| 44 | if (name === "pwsh") { |