further cleanup
This commit is contained in:
parent
238540663f
commit
b21dc2ea7a
|
@ -1,13 +1,16 @@
|
||||||
const helpMsg = `
|
const helpMsg = `
|
||||||
This is a non interactive Webshell with an interactive mode, including some
|
This is a shell in the browser, a web shell.
|
||||||
additional features to ease communications between server and client.
|
|
||||||
|
It includes a non-interactive shell with an optional interactive mode.
|
||||||
|
Furthermore, additional commands to ease communications between server
|
||||||
|
and client.
|
||||||
|
|
||||||
Available Commands:
|
Available Commands:
|
||||||
upload Upload files to the server through the file selector of the browser.
|
upload Upload files to the server through the file selector of the browser.
|
||||||
download <file> Download files from the server to your local download directory.
|
download <file> Download files from the server to your local download directory.
|
||||||
theme <theme> Change the colorscheme of the shell. Type theme to get an overview of all colorschemes.
|
theme <theme> Change the colorscheme of the shell. Type theme to get an overview of all colorschemes.
|
||||||
start-interactive Opens a bash shell in an interactive terminal. Type ctrl+d to go back to non-interactive mode.
|
start-interactive Opens a bash shell in an interactive terminal. Type ctrl+d to go back to non-interactive mode.
|
||||||
`
|
`
|
||||||
// const helpMsg = 'This is a non interactive Webshell including some additional features to ease communications between server and client.\n Available Commands:\n upload\t\t\t\tUpload files to the server through the file selector of the browser.\n download <file>\t\t\tDownload files from the server to your local download directory.\n theme <theme>\t\t\tChange the colorscheme of the shell. Type theme to get an overview of all colorschemes.\n start-interactive\t\t\tOpens a bash shell in an interactive terminal. Type ctrl+d to exi the interactive shell.'
|
|
||||||
|
|
||||||
document.addEventListener("DOMContentLoaded", function() {
|
document.addEventListener("DOMContentLoaded", function() {
|
||||||
const input = document.getElementById("command-input");
|
const input = document.getElementById("command-input");
|
||||||
|
|
Loading…
Reference in New Issue