blob: f43c9b209d52db966a20174eee3a67aacc6a1410 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
module Property.User where
import Data.List
import System.Posix
import Control.Applicative
import Data.Maybe
import Property
import Utility.SafeCommand
import Utility.Exception
type UserName = String
nonsystem :: UserName -> Property
nonsystem user = check (isNothing <$> homedir user) $ cmdProperty "adduser"
[ Param "--disabled-password"
, Param "--gecos", Param ""
, Param user
]
homedir :: UserName -> IO (Maybe FilePath)
homedir user = catchMaybeIO $ homeDirectory <$> getUserEntryForName user
|
