From b8b3897e6485cb14d2c61d8321e6202df42bfe3c Mon Sep 17 00:00:00 2001
From: Dan <danj.parkes@gmail.com>
Date: Sun, 19 Dec 2021 03:23:26 +0000
Subject: [PATCH] fix(commands): tweak wording for consistency

---
 src/Terminal/commands/check.ts | 2 +-
 src/Terminal/commands/tail.ts  | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Terminal/commands/check.ts b/src/Terminal/commands/check.ts
index 8cb9e12e7..6ec67ac6b 100644
--- a/src/Terminal/commands/check.ts
+++ b/src/Terminal/commands/check.ts
@@ -27,7 +27,7 @@ export function check(
     // Check that the script is running on this machine
     const runningScript = findRunningScript(scriptName, args.slice(1), server);
     if (runningScript == null) {
-      terminal.error(`No script named ${scriptName} is not running on the server`);
+      terminal.error(`No script named ${scriptName} is running on the server`);
       return;
     }
     runningScript.displayLog();
diff --git a/src/Terminal/commands/tail.ts b/src/Terminal/commands/tail.ts
index 2250e502a..d1101e76a 100644
--- a/src/Terminal/commands/tail.ts
+++ b/src/Terminal/commands/tail.ts
@@ -20,7 +20,7 @@ export function tail(
     } else if (typeof commandArray[0] === "string") {
       const scriptName = terminal.getFilepath(commandArray[0]);
       if (!isScriptFilename(scriptName)) {
-        terminal.error(`tail can only be called on ${validScriptExtensions.join(", ")} files, or by pid`);
+        terminal.error(`tail can only be called on ${validScriptExtensions.join(", ")} files, or by PID`);
         return;
       }
 
@@ -66,11 +66,11 @@ export function tail(
       }
 
       // if there's no candidate then we just don't know.
-      terminal.error(`No script named ${scriptName} is not running on the server`);
+      terminal.error(`No script named ${scriptName} is running on the server`);
     } else if (typeof commandArray[0] === "number") {
       const runningScript = findRunningScriptByPid(commandArray[0], server);
       if (runningScript == null) {
-        terminal.error(`No script with pid ${commandArray[0]} is not running on the server`);
+        terminal.error(`No script with PID ${commandArray[0]} is running on the server`);
         return;
       }
       LogBoxEvents.emit(runningScript);