1 //<Script type="text/javascript">
2 //var Gio = imports.gi.Gio;
3 //var GLib = imports.gi.GLib;
5 //var XObject = imports.XObject.XObject;
6 //var File = imports.File.File;
8 /// # valac --pkg gio-2.0 --pkg posix Monitor.vala -o /tmp/Monitor
11 //using Gee; // for array list?
13 static int main (string[] args) {
14 // A reference to our file
15 //var file = File.new_for_path ("data.txt");
16 MainLoop loop = new MainLoop ();
18 var m = new Monitor();
20 m.add("/home/alan/gitlive");
29 public class MonitorNamePathDir {
35 public MonitorNamePathDir(string name, string path, string dir)
47 public delegate void onEventHander (FileMonitor fm, File f_orig, File of_orig, FileMonitorEvent event_type);
51 * Monitor class - handles monitor managment for a large tree...
58 change : function () {
63 * x.stop() // stops all scanning.
64 * x.play(); // starts the scanning
71 public abstract class gitMonitorBase : Object
73 public abstract void monitor(string path, int depth = 0);
76 public class Monitor : gitMonitorBase
85 this.monitors = new Array<FileMonitor> ();
86 this.top = new Array<string> ();
90 public Array<FileMonitor> monitors;// Array of MonitorNamePathDirileMonitors
91 public Array<string> top; // list of top level directories..
94 * add a directory or file to monitor
96 public void add (string add)
99 print("Monitor.add: " + add);
100 this.top.append_val(add);
107 for(int i = 0; i < this.top.length ; i++) {
108 this.monitor(this.top.index(i));
112 * stop / pause monitoring
118 for(int i = 0; i < this.monitors.length ; i++) {
119 this.monitors.index(i).cancel();
121 this.monitors = new Array<FileMonitor>(); // clean /destroy/ kill old?
124 * pause monitoring - without changing what's monitored
131 * resume monitoring - without changing what's monitored
138 * monitor a file or directory (privatish)
140 * initially called with ~/gitlive null 0 (effectvely)
144 public override void monitor(string path, int depth = 0)
147 //GLib.debug("ADD: (%d): %s\n", depth, path);
149 //depth = typeof(depth) == 'number' ? depth *1 : 0;
150 depth = depth > 0 ? depth *1 : 0;
153 //fn = fn || function (fm, f, of, event_type, uh) {
154 // _this.onEvent(fm, f, of, event_type, uh);
157 var f = File.new_for_path(path);
158 //var cancel = new Gio.Cancellable ();
162 var fm = f.monitor(FileMonitorFlags.SEND_MOVED + FileMonitorFlags.WATCH_MOVES,null);
163 //var fm = f.monitor(FileMonitorFlags.WATCH_MOVES,null);
165 fm.changed.connect( this.onEvent );
166 this.monitors.append_val(fm);
169 GLib.debug("Error adding monitor: %s\n", e.message);
170 GLib.debug("Try: \n\nsudo su\necho 512 > /proc/sys/fs/inotify/max_user_instances\n");
171 // FIXME -- show error? do nothing..
173 // print("ADD path " + depth + ' ' + path);
176 // - this is not used.
177 //if (GLib.file_test(path + '/.git' , GLib.FileTest.IS_DIR) && this.initRepo) {
179 // this.initRepo(path);
181 FileEnumerator file_enum;
182 var cancellable = new Cancellable ();
184 file_enum = f.enumerate_children(
185 FileAttribute.STANDARD_DISPLAY_NAME + "," + FileAttribute.STANDARD_TYPE,
186 FileQueryInfoFlags.NOFOLLOW_SYMLINKS, // FileQueryInfoFlags.NONE,
189 // FIXME - show error..
194 while (cancellable.is_cancelled () == false ) {
196 next_file = file_enum .next_file (cancellable);
202 if (next_file == null) {
206 //print("got a file " + next_file.sudo () + '?=' + Gio.FileType.DIRECTORY);
208 if (next_file.get_file_type() != FileType.DIRECTORY) {
214 //stdout.printf("Monitor.monitor: got file %s : type :%u\n",
215 // next_file.get_display_name(), next_file.get_file_type());
218 if (next_file.get_is_symlink()) {
223 if (next_file.get_display_name()[0] == '.') {
227 var sp = path+"/"+next_file.get_display_name();
229 //print("got a file : " + sp);
235 this.monitor(sp, depth + 1);
239 file_enum.close(null);
247 public File realpath(File file)
253 if (FileUtils.test(file.get_path(), FileTest.EXISTS)) {
254 var rp = Posix.realpath(file.get_path());
255 return File.new_for_path(rp);
258 // file does not currently exist..
261 // FIX ME - string split?/?
262 var bn = file.get_basename();
263 var ar = file.get_path().split("/");
264 ar.resize(ar.length-1);
265 var dirname = string.joinv("/",ar );
266 var rp = Posix.realpath(dirname);
267 return File.new_for_path(rp + "/" + bn);
274 public void onEvent(File f_orig, File? of_orig, FileMonitorEvent event_type)
279 // print("onEvent\n");
280 var f = this.realpath(f_orig);
283 MonitorNamePathDir src = new MonitorNamePathDir( f.get_basename(), f.get_path() , Path.get_dirname(f.get_path()));
287 //string event_name = "UKNOWN";
290 // extract the event names ... - not sure if introspection is feasible in vala..
291 //for(var i in Gio.FileMonitorEvent) {
292 // if (Gio.FileMonitorEvent[i] == event_type) {
300 //print (JSON.stringify([event_name , f.get_path(), of ? of.get_path() : false ] ));
301 //print ("got src: " + src.toString());
302 //print ("got event: " + src.toString());
307 case FileMonitorEvent.CHANGED:
308 src.action = "changed";
310 return; // ingore thise?? -wait for changes_done_htin?
312 case FileMonitorEvent.CHANGES_DONE_HINT:
313 src.action = "changed";
314 this.onChangesDoneHint(src);
317 case FileMonitorEvent.DELETED:
322 case FileMonitorEvent.CREATED:
323 src.action = "created";
327 case FileMonitorEvent.ATTRIBUTE_CHANGED: // eg. chmod/chatt
328 src.action = "attrib";
329 this.onAttributeChanged(src);
332 case FileMonitorEvent.MOVED: // eg. chmod/chatt
333 case FileMonitorEvent.MOVED_IN: // eg. chmod/chatt
334 case FileMonitorEvent.MOVED_OUT: // eg. chmod/chatt
335 case FileMonitorEvent.RENAMED: // eg. chmod/chatt
337 var of = this.realpath(of_orig);
338 var dest = new MonitorNamePathDir(
341 Path.get_dirname(of.get_path())
344 src.action = "moved";
345 dest.action = "moved";
346 this.onMoved(src,dest);
351 stdout.printf("event type not handled %u", event_type);
353 // rest are mount related - not really relivant.. maybe add later..
362 /** override these to do stuff.. */
363 //public void initRepo(MonitorNamePathDir src) { } // called on startup at the top level repo dir.
364 public virtual void onChanged(MonitorNamePathDir src) { }
365 public virtual void onChangesDoneHint(MonitorNamePathDir src) { }
366 public virtual void onDeleted(MonitorNamePathDir src) { }
367 public virtual void onCreated(MonitorNamePathDir src) { }
368 public virtual void onAttributeChanged(MonitorNamePathDir src) { }
369 public virtual void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest) { }