Revert "Fix some stuff with ls() and cat"

This commit is contained in:
danielyxie 2018-02-16 15:03:16 -06:00 committed by GitHub
parent d37e8f1d5f
commit 1f5ab50b79
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 5 additions and 24 deletions

@ -346,10 +346,9 @@ scp
ls
^^
.. js:function:: ls(hostname/ip, [grep])
.. js:function:: ls(hostname/ip)
:param string hostname/ip: Hostname or IP of the target server
:param string grep: a substring to search for in the filename.
Returns an array with the filenames of all files on the specified server (as strings). The returned array
is sorted in alphabetic order

@ -42,7 +42,7 @@ function showMessage(msg) {
var txt = "Message received from unknown sender: <br><br>" +
"<i>" + msg.msg + "</i><br><br>" +
"This message was saved as " + msg.filename + " onto your home computer.";
dialogBoxCreate(txt, true);
dialogBoxCreate(txt);
}
//Adds a message to a server

@ -834,16 +834,6 @@ function NetscriptFunctions(workerScript) {
}
}
for (var i = 0; i < server.textFiles.length; i++) {
if (filter) {
if (server.textFiles[i].fn.includes(filter)) {
allFiles.push(server.textFiles[i].fn);
}
} else {
allFiles.push(server.textFiles[i].fn);
}
}
//Sort the files alphabetically then print each
allFiles.sort();
return allFiles;

@ -32,7 +32,7 @@ $(document).on('click', '.dialog-box-close-button', function( event ) {
var dialogBoxOpened = false;
function dialogBoxCreate(txt, preformatted) {
function dialogBoxCreate(txt) {
var container = document.createElement("div");
container.setAttribute("class", "dialog-box-container");
@ -43,16 +43,8 @@ function dialogBoxCreate(txt, preformatted) {
closeButton.setAttribute("class", "dialog-box-close-button");
closeButton.innerHTML = "&times;"
var textE;
if (preformatted) {
// For text files as they are often computed data that
// shouldn't be wrapped and should retain tabstops.
textE = document.createElement("pre");
textE.innerHTML = txt;
} else {
textE = document.createElement("p");
textE.innerHTML = txt.replace(/(?:\r\n|\r|\n)/g, '<br>');
}
var textE = document.createElement("p");
textE.innerHTML = txt.replace(/(?:\r\n|\r|\n)/g, '<br>');
content.appendChild(closeButton);
content.appendChild(textE);