(language: string | undefined)
| 174 | const shellLanguages = new Set(["bash", "sh", "shell", "zsh", "fish", "console", "terminal"]) |
| 175 | |
| 176 | function codeKind(language: string | undefined) { |
| 177 | const value = language?.toLowerCase() |
| 178 | if (!value) return |
| 179 | if (shellLanguages.has(value)) return "shell" |
| 180 | } |
| 181 | |
| 182 | function codeLanguage(block: HTMLPreElement) { |
| 183 | const code = block.querySelector("code") |