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

response

Browse source
This commit is contained in:
Joey Hess 2019-02-07 15:29:02 -04:00
parent dd50919980
commit e20ae2555b
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

18
doc/git-annex-addurl/comment_4_0951800d761d18614eb6c5f08cdbb885._comment Normal file
View file

@ -0,0 +1,18 @@
[[!comment format=mdwn
username="joey"
subject="""comment 4"""
date="2019-02-07T19:26:12Z"
content="""
@john, the difference is that while addurl can make up a filename to use if
you do not provide one, rmurl needs you to specifiy a filename.
So, yes, "git annex rmurl --file=whatever url" would be more consistent,
but it requires typing more my making something that is not actually
optional into an option. And "git annex addurl file url" would make
the command more consistent with rmurl, but harder to use.
Consistency is not everything.
(Also, the rmurl batch interface would then be less consistent to its
command-line interface.)
"""]]