From 67668e64237afe7952f92cf3558d6db99794fc4f Mon Sep 17 00:00:00 2001 From: minjaesong Date: Thu, 8 Apr 2021 15:35:57 +0900 Subject: [PATCH] get filename for edit --- assets/disk0/tvdos/bin/edit.js | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/assets/disk0/tvdos/bin/edit.js b/assets/disk0/tvdos/bin/edit.js index ef7c262..bdd4172 100644 --- a/assets/disk0/tvdos/bin/edit.js +++ b/assets/disk0/tvdos/bin/edit.js @@ -1,3 +1,13 @@ +let filename = undefined; + +if (exec_args !== undefined && exec_args[1] !== undefined) { + filename = exec_args[1]; +} +else { + println("File to edit?"); + filename = read(); +} + let scroll = 0; //let textbuffer = ["The quick brown fox","jumps over a lazy dog 12345678901234567890", "Pack my box with", "five dozen liquor jugs", "The quick brown fox","jumps over a lazy dog 12345678901234567890", "Pack my box with", "five dozen liquor jugs"]; let textbuffer = [""]; @@ -204,3 +214,6 @@ while (!exit) { appendText(key); } } + +con.clear(); +return 0; \ No newline at end of file