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

improve usage

Browse source 
These commands operate on not only remotes, but any way a repository can
be specified, including "here" etc.

Sponsored-by: Graham Spencer on Patreon
This commit is contained in:
Joey Hess 2022-10-03 13:49:42 -04:00
parent 15f9fcbcb1
commit 70d2ece381
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
5 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Command/Dead.hs
View file

@ -16,7 +16,7 @@ import Git.Types
cmd :: Command
cmd = command "dead" SectionSetup "hide a lost repository or key"
(paramRepeating paramRemote) (seek <$$> optParser)
(paramRepeating paramRepository) (seek <$$> optParser)
data DeadOptions = DeadRemotes [RemoteName] | DeadKeys [Key]