fix lint error #898

jcubic · Oct 20, 2023 · 0476921 · 0476921
1 parent b0b6e43
commit 0476921
Show file tree

Hide file tree

Showing 7 changed files with 16 additions and 16 deletions.
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@
 [![npm](https://img.shields.io/badge/npm-DEV-blue.svg)](https://www.npmjs.com/package/jquery.terminal)
 ![bower](https://img.shields.io/badge/bower-DEV-yellow.svg)
 [![Build and test](https://github.com/jcubic/jquery.terminal/actions/workflows/build.yaml/badge.svg?branch=devel&event=push)](https://github.com/jcubic/jquery.terminal/actions/workflows/build.yaml)
-[![Coverage Status](https://coveralls.io/repos/github/jcubic/jquery.terminal/badge.svg?branch=devel&75da0f6ae07388cf17379f7dcd13e04f)](https://coveralls.io/github/jcubic/jquery.terminal?branch=devel)
+[![Coverage Status](https://coveralls.io/repos/github/jcubic/jquery.terminal/badge.svg?branch=devel&c83b0964dc709f70a763c3db431eb7f2)](https://coveralls.io/github/jcubic/jquery.terminal?branch=devel)
 ![NPM Downloads](https://img.shields.io/npm/dm/jquery.terminal.svg?style=flat)
 [![jsDelivr Downloads](https://data.jsdelivr.com/v1/package/npm/jquery.terminal/badge?style=rounded&n=1)](https://www.jsdelivr.com/package/npm/jquery.terminal)
 [![Paid Support](https://img.shields.io/badge/paid-support-354465.svg)](https://support.jcubic.pl/)

diff --git a/js/jquery.terminal-2.37.2.js b/js/jquery.terminal-2.37.2.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Fri, 20 Oct 2023 10:39:08 +0000
+ * Date: Fri, 20 Oct 2023 10:51:49 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5278,7 +5278,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 20 Oct 2023 10:39:08 +0000',
+        date: 'Fri, 20 Oct 2023 10:51:49 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -8761,8 +8761,8 @@
             if (is_function(prompt)) {
                 prompt = context_callback_proxy(prompt);
             }
-            var is_dynamic_prompt = is_function(interpreter.prompt)
-            if (prompt !== command_line.prompt() || is_dynamic_prompt) {
+            var is_dynamic_prompt = is_function(interpreter.prompt);
+            if (prompt !== command_line.prompt()) {
                 if (is_dynamic_prompt) {
                     // prevent flicker of old prompt until async prompt finishes
                     command_line.prompt('');

diff --git a/js/jquery.terminal-2.37.2.min.js b/js/jquery.terminal-2.37.2.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -8761,8 +8761,8 @@
             if (is_function(prompt)) {
                 prompt = context_callback_proxy(prompt);
             }
-            var is_dynamic_prompt = is_function(interpreter.prompt)
-            if (prompt !== command_line.prompt() || is_dynamic_prompt) {
+            var is_dynamic_prompt = is_function(interpreter.prompt);
+            if (prompt !== command_line.prompt()) {
                 if (is_dynamic_prompt) {
                     // prevent flicker of old prompt until async prompt finishes
                     command_line.prompt('');

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: Fri, 20 Oct 2023 10:39:08 +0000
+ * Date: Fri, 20 Oct 2023 10:51:49 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5278,7 +5278,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 20 Oct 2023 10:39:08 +0000',
+        date: 'Fri, 20 Oct 2023 10:51:49 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -8761,8 +8761,8 @@
             if (is_function(prompt)) {
                 prompt = context_callback_proxy(prompt);
             }
-            var is_dynamic_prompt = is_function(interpreter.prompt)
-            if (prompt !== command_line.prompt() || is_dynamic_prompt) {
+            var is_dynamic_prompt = is_function(interpreter.prompt);
+            if (prompt !== command_line.prompt()) {
                 if (is_dynamic_prompt) {
                     // prevent flicker of old prompt until async prompt finishes
                     command_line.prompt('');

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