Spawn = imports.Spawn;
File = imports.File.File;
GLib = imports.gi.GLib;
+Gio = imports.gi.Gio;
+
//Gtk.init(Seed.argv);
xDate = imports.Date;
xorg = imports.xorg;
var time = ctime.format("H:i:s ")
File.append (path, "\n" +time + str + ' ' + cmd );
-
+
+
// copy to gitlive/gitlog (each user should check out their own gitlog!?
- if (this.lastcopy && this.lastcopy > ctime.add(Date.HOUR, -1)) {
+ if (this.lastcopy && this.lastcopy > ctime.add(xDate.Date.HOUR, -1)) {
return;
}
this.lastcopy = ctime;
if (!File.isDirectory(cpdir)) {
File.mkdir(cpdir,true);
}
- File.copy(path, cpdir + fname );
+ File.copy(path, cpdir + fname, Gio.FileCopyFlags.OVERWRITE );
}