Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use -f in cp to overwrite read-only files (e.g. .svn in document/)
authorkleing
Thu, 29 Jun 2006 01:08:08 +0200
changeset 19960 a0e3f2df9b0e
parent 19959 dc3e007aeaf1
child 19961 5aa2e37e250c
use -f in cp to overwrite read-only files (e.g. .svn in document/)
src/Pure/General/file.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/file.ML	Wed Jun 28 17:54:00 2006 +0200
+++ b/src/Pure/General/file.ML	Thu Jun 29 01:08:08 2006 +0200
@@ -142,7 +142,7 @@
   in write target (read from) end);
 
 fun copy_dir from to = conditional (not (eq (from, to))) (fn () =>
-  (system_command ("cp -r " ^ shell_path from ^ "/. " ^ shell_path to); ()))
+  (system_command ("cp -r -f " ^ shell_path from ^ "/. " ^ shell_path to); ()))
 
 
 (* use ML files *)
isabelle