Re: [Axiom-developer] Re: [AxiomDownload]

[David MENTRE]

Ralf,

2006/4/19, Ralf Hemmecke <address@hidden>:
> But haven't I read in the tla documentation that directories are a
> problem. With the procedure you give one cannot rename directories. Am I
> wrong?

You right. Or, more exactly, the renaming won't appear as such but as
a new file(s):

$ mkdir orig
$ mkdir orig/a
$ cat > orig/a/f
foo
$ cp -a orig modified
$ mv modified/a/ modified/b
$ diff -Naur orig modified/
diff -Naur orig/a/f modified/a/f
--- orig/a/f    2006-04-19 18:17:49.000000000 +0200
+++ modified/a/f        1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-foo
diff -Naur orig/b/f modified/b/f
--- orig/b/f    1970-01-01 01:00:00.000000000 +0100
+++ modified/b/f        2006-04-19 18:17:49.000000000 +0200
@@ -0,0 +1 @@
+foo



> The good think is that the procedure is independent of an SCM. ;-)

I'm for peace in SCM war. ;-)

Best wishes,
d.