From 82162728938e8536d39a3f9937d7eb905e00eb9b Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Fri, 20 Jan 2017 08:25:33 +0100
Subject: [PATCH] [shell mode] Improve tokenizing of $'' strings
Closes #4505
---
mode/shell/shell.js | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/mode/shell/shell.js b/mode/shell/shell.js
index 570b4e241..a63638739 100644
--- a/mode/shell/shell.js
+++ b/mode/shell/shell.js
@@ -108,8 +108,8 @@ CodeMirror.defineMode('shell', function() {
if (state.tokens.length > 1) stream.eat('$');
var ch = stream.next(), hungry = /\w/;
if (ch === '{') hungry = /[^}]/;
- if (ch === '(') {
- state.tokens[0] = tokenString(')');
+ if (/['"(]/.test(ch)) {
+ state.tokens[0] = tokenString(ch == "(" ? ")" : ch);
return tokenize(stream, state);
}
if (!/\d/.test(ch)) {
--
GitLab