mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

comment

Browse source
This commit is contained in:
Joey Hess 2023-01-02 15:27:36 -04:00
parent c326e5100f
commit 1aaf702d66
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
doc/bugs/should_create_leading_dirs_for_annex.dbdir/comment_1_20cbcee65bccc3213e437ef347b52612._comment Normal file
View file

@ -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.
"""]]