{ "name" : "wget", "info" : { "syntax" : "wget <file>", "brief" : "Creates a static textual version of the selected file, suitable for download", }, "action" : function ( arg ) { var out = ''; var found = false; var dir = shell.files; if ( !arg || arg.length == 0 ) { return "Argument required
\n"; } arg = shell.expandPath ( arg ); for ( var i=0; i < dir.length && !found; i++ ) { if ( dir[i].path == arg ) { found = true; if ( dir[i].type == 'directory' ) { return "wget: " + dir[i].path + ": Is a directory
\n"; } else { if ( dir[i].content ) { var wgetWin = window.open("_blank",""); if(wgetWin) { wgetWin.document.write("
"+dir[i].content+"
"); return "
"; } else return "wget: cannot open new window.
"; } } } } if ( !found ) { arg = arg.replace ( '<', '<' ); arg = arg.replace ( '>', '>' ); return "wget: " + arg + ": No such file or directory
\n"; } out = out.replace ( /\s*$/, '' ); return out; } }