diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-04-04 22:31:00 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-04-04 22:31:00 -0400 |
| commit | 7a2a88c12805f277e1e89e63b006a0783ea8cc0b (patch) | |
| tree | 2bc5cbdd8c39eed35452506c47a0e52550732f61 /doc/forum/Git.cloned_deletes_harmless_empty_directory | |
| parent | 1573c094362be744517d7d5e909a2148e6d79618 (diff) | |
comments
Diffstat (limited to 'doc/forum/Git.cloned_deletes_harmless_empty_directory')
| -rw-r--r-- | doc/forum/Git.cloned_deletes_harmless_empty_directory/comment_1_7cd0521c6d071b25852f8355f4f61f94._comment | 20 |
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 +state. + +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. +"""]] |
