{
"name" : "cat",
"info" : {
"syntax" : "cat <file>",
"brief" : "Show the content of a page",
},
"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 "cat: " + dir[i].path + ": Is a directory
\n";
} else {
if ( dir[i].href )
{
window.open ( dir[i].href );
} else if ( dir[i].content ) {
return dir[i].content + "
\n";
}
}
}
}
if ( !found )
{
arg = arg.replace ( '<', '<' );
arg = arg.replace ( '>', '>' );
return "cat: " + arg + ": No such file or directory
\n";
}
out = out.replace ( /
\s*$/, '' );
return out;
}
}