Translations:Extension:SyntaxHighlight/23/ru

Обычно их можно заменить на $bash или $shell.