* rmurl: Fix a case where removing the last url left git-annex thinking content was still present in the web special remote. * SETURLPRESENT, SETURIPRESENT, SETURLMISSING, and SETURIMISSING used to update the presence information of the external special remote that called them; this was not documented behavior and is no longer done. Done by making setUrlPresent and setUrlMissing only update presence info for the web, and only when the url is a web url. See the comment for reasoning about why that's the right thing to do. In AddUrl, had to make it update location tracking, to handle the non-web-url case. This commit was sponsored by Ewen McNeill on Patreon.
		
			
				
	
	
		
			53 lines
		
	
	
	
		
			1.4 KiB
			
		
	
	
	
		
			Haskell
		
	
	
	
	
	
			
		
		
	
	
			53 lines
		
	
	
	
		
			1.4 KiB
			
		
	
	
	
		
			Haskell
		
	
	
	
	
	
{- git-annex command
 | 
						|
 -
 | 
						|
 - Copyright 2013-2016 Joey Hess <id@joeyh.name>
 | 
						|
 -
 | 
						|
 - Licensed under the GNU GPL version 3 or higher.
 | 
						|
 -}
 | 
						|
 | 
						|
module Command.RmUrl where
 | 
						|
 | 
						|
import Command
 | 
						|
import Logs.Web
 | 
						|
import qualified Remote
 | 
						|
 | 
						|
cmd :: Command
 | 
						|
cmd = notBareRepo $
 | 
						|
	command "rmurl" SectionCommon 
 | 
						|
		"record file is not available at url"
 | 
						|
		(paramRepeating (paramPair paramFile paramUrl))
 | 
						|
		(seek <$$> optParser)
 | 
						|
 | 
						|
data RmUrlOptions = RmUrlOptions
 | 
						|
	{ rmThese :: CmdParams
 | 
						|
	, batchOption :: BatchMode
 | 
						|
	}
 | 
						|
 | 
						|
optParser :: CmdParamsDesc -> Parser RmUrlOptions
 | 
						|
optParser desc = RmUrlOptions
 | 
						|
	<$> cmdParams desc
 | 
						|
	<*> parseBatchOption
 | 
						|
 | 
						|
seek :: RmUrlOptions -> CommandSeek
 | 
						|
seek o = case batchOption o of
 | 
						|
	Batch fmt -> batchInput fmt batchParser (batchCommandAction . start)
 | 
						|
	NoBatch -> withPairs (commandAction . start) (rmThese o)
 | 
						|
 | 
						|
-- Split on the last space, since a FilePath can contain whitespace,
 | 
						|
-- but a url should not.
 | 
						|
batchParser :: String -> Either String (FilePath, URLString)
 | 
						|
batchParser s = case separate (== ' ') (reverse s) of
 | 
						|
	(ru, rf)
 | 
						|
		| null ru || null rf -> Left "Expected: \"file url\""
 | 
						|
		| otherwise -> Right (reverse rf, reverse ru)
 | 
						|
 | 
						|
start :: (FilePath, URLString) -> CommandStart
 | 
						|
start (file, url) = flip whenAnnexed file $ \_ key -> do
 | 
						|
	showStart "rmurl" file
 | 
						|
	next $ next $ cleanup url key
 | 
						|
 | 
						|
cleanup :: String -> Key -> CommandCleanup
 | 
						|
cleanup url key = do
 | 
						|
	r <- Remote.claimingUrl url
 | 
						|
	setUrlMissing key (setDownloader' url r)
 | 
						|
	return True
 |