/usr/share/seed-gtk3/extensions/Gio.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 | Gio = imports.gi.Gio;
(function()
{
var prototype = Gio.FileInputStream.prototype;
prototype.get_contents = function()
{
var stream = new Gio.DataInputStream.c_new(this);
var line = stream.read_until("", 0);
return line;
}
Gio.simple_write = function(file, name)
{
var file = Gio.file_new_for_path(file);
var fstream = file.replace();
var dstream = new Gio.DataOutputStream.c_new(fstream);
dstream.put_string(name);
fstream.close();
}
Gio.simple_read = function(name)
{
var file = Gio.file_new_for_path(name);
var fstream = file.read();
var dstream = new Gio.DataInputStream.c_new(fstream);
var line = dstream.read_until("", 0);
fstream.close();
return line;
}
}).apply();
|