1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
function execute(command) { var args = command.split(' '); var func = args[0]; args.shift(); eval(func + '(' + JSON.stringify(args) + ')'); } function exec(args) { eval(args.join(' ')); } function next() { terminalList.selectNext(); } function prev() { terminalList.selectPrev(); }