comment
authorJoey Hess <joeyh@joeyh.name>
Mon, 2 Jan 2023 19:27:36 +0000 (15:27 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 2 Jan 2023 19:27:36 +0000 (15:27 -0400)
doc/bugs/should_create_leading_dirs_for_annex.dbdir/comment_1_20cbcee65bccc3213e437ef347b52612._comment [new file with mode: 0644]

diff --git a/doc/bugs/should_create_leading_dirs_for_annex.dbdir/comment_1_20cbcee65bccc3213e437ef347b52612._comment b/doc/bugs/should_create_leading_dirs_for_annex.dbdir/comment_1_20cbcee65bccc3213e437ef347b52612._comment
new file mode 100644 (file)
index 0000000..febb5ac
--- /dev/null
@@ -0,0 +1,20 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 1"""
+ date="2023-01-02T19:14:25Z"
+ content="""
+I took a look at why it does this, and it's because git-annex takes a lot
+of care to avoid doing things like creating /mnt/repo/.git/ when /mnt is not
+mounted. To the directory creating code, the parent directory of 
+annex.dbdir is treated as an alternate top-level directory, which it can
+only create subdirectories of, but not create itself. So the directory
+creating code would need to become somewhat more complicated to support
+the possibility of creating parent directories of one but not of the other.
+
+Maybe the prospect of such complexity is coloring my thinking, but it seems
+like similar concerns about mount points may affect annex.dbdir. After all,
+the point of it is to provide a path on some other filesystem. When
+that filesystem is not currently mounted, it would be better for it to
+error out like this than to create a directory structure inside its mount
+point.
+"""]]