fix lint error #982

jcubic · Nov 2, 2024 · 24ea33c · 24ea33c
1 parent 6fad1cc
commit 24ea33c
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 9 deletions.
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -6857,6 +6857,8 @@
         // ---------------------------------------------------------------------
         // :: Replace terminal formatting with html
         // ---------------------------------------------------------------------
+        var href_re = /^(((?:blob:)?https?|file|ftp):\/\/|\.{0,2}\/)/;
+        var src_re = /^(https?:|file:|blob:|data:)/;
         $.terminal.format = function format(str, options) {
             var settings = $.extend({}, {
                 linksNoReferrer: false,
@@ -6868,11 +6870,11 @@
             }, options || {});
             // -----------------------------------------------------------------
             var valid_href = with_url_validation(function(url) {
-                return url.match(/^(((?:blob:)?https?|file|ftp):\/\/|\.{0,2}\/)/) || is_path(url);
+                return url.match(href_re) || is_path(url);
             }, settings);
             // -----------------------------------------------------------------
             var valid_src = with_url_validation(function(url) {
-                return url.match(/^(https?:|file:|blob:|data:)/) || is_path(url);
+                return url.match(src_re) || is_path(url);
             }, settings);
             // -----------------------------------------------------------------
             function filter_attr_names(names) {

diff --git a/js/jquery.terminal.js b/js/jquery.terminal.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Sat, 02 Nov 2024 21:32:11 +0000
+ * Date: Sat, 02 Nov 2024 21:39:24 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5350,7 +5350,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 02 Nov 2024 21:32:11 +0000',
+        date: 'Sat, 02 Nov 2024 21:39:24 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -6857,6 +6857,8 @@
         // ---------------------------------------------------------------------
         // :: Replace terminal formatting with html
         // ---------------------------------------------------------------------
+        var href_re = /^(((?:blob:)?https?|file|ftp):\/\/|\.{0,2}\/)/;
+        var src_re = /^(https?:|file:|blob:|data:)/;
         $.terminal.format = function format(str, options) {
             var settings = $.extend({}, {
                 linksNoReferrer: false,
@@ -6868,11 +6870,11 @@
             }, options || {});
             // -----------------------------------------------------------------
             var valid_href = with_url_validation(function(url) {
-                return url.match(/^(((?:blob:)?https?|file|ftp):\/\/|\.{0,2}\/)/) || is_path(url);
+                return url.match(href_re) || is_path(url);
             }, settings);
             // -----------------------------------------------------------------
             var valid_src = with_url_validation(function(url) {
-                return url.match(/^(https?:|file:|blob:|data:)/) || is_path(url);
+                return url.match(src_re) || is_path(url);
             }, settings);
             // -----------------------------------------------------------------
             function filter_attr_names(names) {

diff --git a/js/jquery.terminal.min.js b/js/jquery.terminal.min.js
diff --git a/js/jquery.terminal.min.js.map b/js/jquery.terminal.min.js.map