*
*/
- public string git(string[] args_in, string[] env = {}) throws Error, SpawnError
+ public string git(string[] args_in, ?string[] env) throws Error, SpawnError
{
// convert arguments.
args += this.gitdir;
args += "--no-pager";
+ if (env == null) {
+ env = {};
+ }
//if (this.gitdir != this.repopath) {
// args += "--work-tree";
print( string.joinv (", ", args));
}
-
- env += "HOME=" + Environment.get_home_dir() ;
+ string home = "HOME=" + Environment.get_home_dir() ;
+ env += home ;
// do not need to set gitpath..
//if (File.exists(this.repo + '/.git/config')) {
//env.push("GITPATH=" + this.repo );