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

Allow cat to work on scripts

Browse Source
This commit is contained in:
65-7a 2021-12-20 21:11:28 +11:00
parent f72d4b89d4
commit 14532cd0a8
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/Terminal/commands/cat.ts
View File

@ -4,6 +4,7 @@ import { IPlayer } from "../../PersonObjects/IPlayer";
import { BaseServer } from "../../Server/BaseServer"; import { BaseServer } from "../../Server/BaseServer";
import { showMessage } from "../../Message/MessageHelpers"; import { showMessage } from "../../Message/MessageHelpers";
import { showLiterature } from "../../Literature/LiteratureHelpers"; import { showLiterature } from "../../Literature/LiteratureHelpers";
import { dialogBoxCreate } from "../../ui/React/DialogBox";
export function cat( export function cat(
terminal: ITerminal, terminal: ITerminal,
@ -18,9 +19,9 @@ export function cat(
} }
const relative_filename = args[0] + ""; const relative_filename = args[0] + "";
const filename = terminal.getFilepath(relative_filename); const filename = terminal.getFilepath(relative_filename);
if (!filename.endsWith(".msg") && !filename.endsWith(".lit") && !filename.endsWith(".txt")) { if (!filename.endsWith(".msg") && !filename.endsWith(".lit") && !filename.endsWith(".txt") && !filename.endsWith(".script") && !filename.endsWith(".js") && !filename.endsWith(".ns")) {
terminal.error( terminal.error(
"Only .msg, .txt, and .lit files are viewable with cat (filename must end with .msg, .txt, or .lit)", "Only .msg, .txt, .lit, .script, .js, and .ns files are viewable with cat (filename must end with .msg, .txt, .lit, .script, .js, or .ns)",
); );
return; return;
} }
@ -45,6 +46,12 @@ export function cat(
txt.show(); txt.show();
return; return;
} }
} else if (filename.endsWith(".script") || filename.endsWith(".js") || filename.endsWith(".ns")) {
const script = terminal.getScript(player, relative_filename);
if (script != null) {
dialogBoxCreate(`${script.filename}<br /><br />${script.code}`);
return;
}
} }
terminal.error(`No such file ${filename}`); terminal.error(`No such file ${filename}`);