public bool is_ignore(string fname) throws Error, SpawnError
{
+ if (fname == ".gitignore") {
+ this.ignore_files.clear();
+ }
+
if (this.ignore_files.has_key(fname)) {
return this.ignore_files.get(fname);
}
try {
var ret = this.git( { "check-ignore" , fname } );
- this.ignore_files.set(fname, ret == fname);
- return ret == fname;
+ this.ignore_files.set(fname, ret.length > 0);
+ return ret.length > 0;
} catch (SpawnError e) {
this.ignore_files.set(fname, false);
return false;
}
+
/**
* commit:
* perform a commit.
return this.git( cmd );
-
}
+
+ public delegate void PullAsyncCallback (string str)
+ async public string pull_async(PullAsyncCallback cb) {
+
+
+
+ }
+
/**
* push:
* Send local changes to remote repo(s)