path: root/doc/forum/Git.cloned_deletes_harmless_empty_directory
diff options
authorJoey Hess2017-04-04 22:31:00 -0400
committerJoey Hess2017-04-04 22:31:00 -0400
commit7a2a88c12805f277e1e89e63b006a0783ea8cc0b (patch)
tree2bc5cbdd8c39eed35452506c47a0e52550732f61 /doc/forum/Git.cloned_deletes_harmless_empty_directory
parent1573c094362be744517d7d5e909a2148e6d79618 (diff)
Diffstat (limited to 'doc/forum/Git.cloned_deletes_harmless_empty_directory')
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/forum/Git.cloned_deletes_harmless_empty_directory/comment_1_7cd0521c6d071b25852f8355f4f61f94._comment b/doc/forum/Git.cloned_deletes_harmless_empty_directory/comment_1_7cd0521c6d071b25852f8355f4f61f94._comment
new file mode 100644
index 00000000..91b403b0
--- /dev/null
+++ b/doc/forum/Git.cloned_deletes_harmless_empty_directory/comment_1_7cd0521c6d071b25852f8355f4f61f94._comment
@@ -0,0 +1,20 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 1"""
+ date="2017-04-05T02:22:54Z"
+ content="""
+I am not entirely happy with this patch, because it seems that if
+Git.cloned took care to preserve permissions in this case, it could be
+argued that it should also preserve permissions when the directory already
+exists but has the wrong content. Or equally well argued that it should not
+preserve permissions, which might be a leftover from some past unwanted
+Is that really the best way to do it? You could instead say:
+ Git.cloned user repo dir Nothing
+ `onChange` recursiveSetGID user dir
+And then you just have to write a recursiveSetGID which would be a
+generally useful property.