update plugin files

2020-12-30 08:42:58 +01:00
parent e41e0401c0
commit f5454e6906
68 changed files with 70908 additions and 70003 deletions
--- a/plugins/codemirror/mode/shell/shell.js
+++ b/plugins/codemirror/mode/shell/shell.js
@@ -71,7 +71,8 @@ CodeMirror.defineMode('shell', function() {
      return 'attribute';
    }
    if (ch == "<") {
-      var heredoc = stream.match(/^<-?\s+(.*)/)
+      if (stream.match("<<")) return "operator"
+      var heredoc = stream.match(/^<-?\s*['"]?([^'"]*)['"]?/)
      if (heredoc) {
        state.tokens.unshift(tokenHeredoc(heredoc[1]))
        return 'string-2'