sync
[gnome.introspection-doc-generator] / File.js
diff --git a/File.js b/File.js
index 29cff4a..f82bd6a 100755 (executable)
--- a/File.js
+++ b/File.js
@@ -88,6 +88,7 @@ var File = {
         var can = f.resolve_relative_path('');
         return can.get_path();
     },
         var can = f.resolve_relative_path('');
         return can.get_path();
     },
+    
     /**
      * write
      * @arg path {String} File to write to
     /**
      * write
      * @arg path {String} File to write to
@@ -126,8 +127,17 @@ var File = {
         var f = Gio.file_new_for_path(String(path));
         return f['delete']();
     },
         var f = Gio.file_new_for_path(String(path));
         return f['delete']();
     },
-    // copy files recursively from fromDir, silently ignore them if they already exist in toDir
-    silentRecursiveCopy : function (fromDir, toDir) {
+    /**
+     * silentRecursiveCopy
+     * copy files recursively from fromDir, silently ignore them if they already exist in toDir
+     *        unless you select overwrite..
+     * @arg {String} src source path
+     * @arg {String} dest destination path
+     * @arg {Gio.FileCopyFlags} options (optional)  - use Gio.FileCopyFlags.OVERWRITE to 
+     *      otherwise they will not be copied
+     * 
+     */
+    silentRecursiveCopy : function (fromDir, toDir, opts) {
         var filesToCopy = File.recursiveListing(fromDir);
         var srcPath, destPath, src, dest;
 
         var filesToCopy = File.recursiveListing(fromDir);
         var srcPath, destPath, src, dest;
 
@@ -136,7 +146,7 @@ var File = {
           destPath = File.join(String(toDir), filesToCopy[index]);
 
           if (File.isFile(srcPath) && !File.isFile(destPath)) {
           destPath = File.join(String(toDir), filesToCopy[index]);
 
           if (File.isFile(srcPath) && !File.isFile(destPath)) {
-            File.copyFile(srcPath, destPath);
+            File.copyFile(srcPath, destPath, opts);
           }
           else if (File.isDirectory(srcPath) && !File.isDirectory(destPath)) {
             File.mkdir(destPath);
           }
           else if (File.isDirectory(srcPath) && !File.isDirectory(destPath)) {
             File.mkdir(destPath);
@@ -144,7 +154,12 @@ var File = {
 
         }
     },
 
         }
     },
-
+    
+    /**
+     * mkdir
+     * make a directory..
+     * @arg {String} dstPath directory to make
+     */
     mkdir : function (destPath) {
         var dest = Gio.file_new_for_path(String(destPath));
         return dest.make_directory(null, null);
     mkdir : function (destPath) {
         var dest = Gio.file_new_for_path(String(destPath));
         return dest.make_directory(null, null);