/usr/share/seed-gtk3/repl.js is in libseed-gtk3-0 3.2.0-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 | #!/usr/bin/env seed
readline = imports.readline;
sandbox = imports.sandbox;
os = imports.os;
var lastLastLength = '-1';
context = new sandbox.Context();
context.add_globals();
bind_cr = function(){
var buffer = readline.buffer();
if (buffer.length == lastLastLength)
readline.done();
try {
Seed.check_syntax(buffer);
readline.done();
}
catch (e){
os.write(1, "\n..");
lastLastLength = buffer.length;
return;
}
os.write(1, "\n");
lastLastLength = buffer.length;
}
readline.bind('\n', bind_cr);
readline.bind('\r', bind_cr);
readline.bind('\t', function(){
readline.insert("\t");
});
//var re = /[^=<>*-^/]=[^=<>*-^/]\(*\s*(new\s*)?[^:punct:]|'|"+\)*$/
while(1){
try{
item = readline.readline("> ");
result = context.eval(item);
// if (!re.exec(item) && (result != undefined))
if (result != undefined)
print(result)
}
catch(e){
print(e.name + " " + e.message);
}
}
|