From d9af8bac5eb7836a3c90e37e870fd73d30b841fd Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 29 Mar 2014 23:10:52 -0400 Subject: initial check-in too young to have a name --- Property/Apt.hs | 87 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 87 insertions(+) create mode 100644 Property/Apt.hs (limited to 'Property/Apt.hs') diff --git a/Property/Apt.hs b/Property/Apt.hs new file mode 100644 index 00000000..5f6f75e3 --- /dev/null +++ b/Property/Apt.hs @@ -0,0 +1,87 @@ +module Property.Apt where + +import Data.Maybe +import Control.Applicative +import Data.List + +import Property +import Utility.SafeCommand +import Utility.Process + +sourcesList :: FilePath +sourcesList = "/etc/apt/sources.list" + +type Url = String +type Section = String + +data Suite = Stable | Testing | Unstable | Experimental + +showSuite :: Suite -> String +showSuite Stable = "stable" +showSuite Testing = "testing" +showSuite Unstable = "unstable" +showSuite Experimental = "experimental" + +debLine :: Suite -> Url -> [Section] -> Line +debLine suite mirror sections = unwords $ + ["deb", mirror, showSuite suite] ++ sections + +srcLine :: Line -> Line +srcLine l = case words l of + ("deb":rest) -> unwords $ "deb-src" : rest + _ -> "" + +stdSections = ["main", "contrib", "non-free"] + +debCdn :: Suite -> [Line] +debCdn suite = [l, srcLine l] + where + l = debLine suite "http://cdn.debian.net/debian" stdSections + +{- Makes sources.list have a standard content using the mirror CDN, + - with a particular Suite. -} +stdSourcesList :: Suite -> Property +stdSourcesList = setSourcesList . debCdn + +setSourcesList :: [Line] -> Property +setSourcesList ls = fileHasContent sourcesList ls `onChange` update + +update :: Property +update = cmdProperty "apt-get" [Param "update"] + +upgrade :: Property +upgrade = cmdProperty "apt-get" [Params "-y safe-update"] + +type Package = String + +installed :: [Package] -> Property +installed ps = check (isInstallable ps) go + where + go = cmdProperty "apt-get" $ + [Param "-y", Param "install"] ++ map Param ps + +removed :: [Package] -> Property +removed ps = check (or <$> isInstalled ps) go + where + go = cmdProperty "apt-get" $ [Param "-y", Param "remove"] ++ map Param ps + +isInstallable :: [Package] -> IO Bool +isInstallable ps = do + l <- isInstalled ps + return $ any (== False) l && not (null l) + +{- Note that the order of the returned list will not always + - correspond to the order of the input list. The number of items may + - even vary. If apt does not know about a package at all, it will not + - be included in the result list. -} +isInstalled :: [Package] -> IO [Bool] +isInstalled ps = catMaybes . map parse . lines + <$> readProcess "apt-cache" ("policy":ps) + where + parse l + | "Installed: (none)" `isInfixOf` l = Just False + | "Installed: " `isInfixOf` l = Just True + | otherwise = Nothing + +autoRemove :: Property +autoRemove = cmdProperty "apt-get" [Param "-y", Param "autoremove"] -- cgit v1.2.3