Personal_mirrors/bitburner-src
1
0
Fork 0
mirror of https://github.com/bitburner-official/bitburner-src.git synced 2024-11-22 23:53:48 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix(commands): tweak wording for consistency

Browse Source
This commit is contained in:
Dan 2021-12-19 03:23:26 +00:00
parent b2add6c26b
commit b8b3897e64
No known key found for this signature in database
GPG Key ID: CD0F515DA7B576B5
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Terminal/commands/check.ts
View File

@ -27,7 +27,7 @@ export function check(
// Check that the script is running on this machine // Check that the script is running on this machine
const runningScript = findRunningScript(scriptName, args.slice(1), server); const runningScript = findRunningScript(scriptName, args.slice(1), server);
if (runningScript == null) { 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; return;
} }
runningScript.displayLog(); runningScript.displayLog();

6
src/Terminal/commands/tail.ts
View File

@ -20,7 +20,7 @@ export function tail(
} else if (typeof commandArray[0] === "string") { } else if (typeof commandArray[0] === "string") {
const scriptName = terminal.getFilepath(commandArray[0]); const scriptName = terminal.getFilepath(commandArray[0]);
if (!isScriptFilename(scriptName)) { 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; return;
} }
@ -66,11 +66,11 @@ export function tail(
} }
// if there's no candidate then we just don't know. // 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") { } else if (typeof commandArray[0] === "number") {
const runningScript = findRunningScriptByPid(commandArray[0], server); const runningScript = findRunningScriptByPid(commandArray[0], server);
if (runningScript == null) { 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; return;
} }
LogBoxEvents.emit(runningScript); LogBoxEvents.emit(runningScript);