Unixutils-1.54.1: A crude interface between Haskell and Unix-like operating systems

Safe Haskell | None
Language | Haskell98

System.Unix.Mount

Description

functions for mounting, umounting, parsing /proc/mounts, etc

Synopsis

- umountBelow :: Bool -> FilePath -> IO [(FilePath, (ExitCode, String, String))]
- umount :: [String] -> IO (ExitCode, String, String)
- isMountPoint :: FilePath -> IO Bool
- withMount :: (MonadIO m, MonadMask m) => FilePath -> FilePath -> m a -> m a
- data WithProcAndSys m a
- withProcAndSys :: (MonadIO m, MonadMask m) => FilePath -> WithProcAndSys m a -> m a
- withTmp :: (MonadIO m, MonadMask m) => FilePath -> m a -> m a

# Documentation

umountBelow #

Arguments

:: Bool | Lazy (umount -l flag) if true
-> FilePath | canonicalised, absolute path
-> IO [(FilePath, (ExitCode, String, String))] | paths that we attempted to umount, and the responding output from the umount command

`umountBelow` - unmounts all mount points below belowPath /proc/mounts must be present and readable. Because of the way linux handles changeroots, we can't trust everything we see in /proc/mounts. However, we make the following assumptions:

1. there is a one-to-one correspondence between the entries in /proc/mounts and the actual mounts, and
2. every mount point we might encounter is a suffix of one of the mount points listed in /proc/mounts (because being in a a chroot doesn't affect /proc/mounts.)

So we can search /proc/mounts for an entry has the mount point we are looking for as a substring, then add the extra text on the right to our path and try to unmount that. Then we start again since nested mounts might have been revealed.

For example, suppose we are chrooted into /home/david/environments/sid and we call "umountBelow /proc". We might see the mount point /home/david/environments/sid/proc/bus/usb in /proc/mounts, which means we need to run "umount /proc/bus/usb".

See also: `umountSucceeded`

umount :: [String] -> IO (ExitCode, String, String) #

`umount` - run umount with the specified args NOTE: this function uses exec, so you do not need to shell-escape NOTE: we don't use the umount system call because the system call is not smart enough to update /etc/mtab

isMountPoint :: FilePath -> IO Bool #

withMount :: (MonadIO m, MonadMask m) => FilePath -> FilePath -> m a -> m a #

Do an IO task with a file system remounted using mount --bind. This was written to set up a build environment.

data WithProcAndSys m a #

Monad transformer to ensure that proc and sys are mounted during a computation.

Instances

MonadTrans WithProcAndSys # |
Methods lift :: Monad m => m a -> WithProcAndSys m a #
Monad m => Monad (WithProcAndSys m) # |
Methods (>>=) :: WithProcAndSys m a -> (a -> WithProcAndSys m b) -> WithProcAndSys m b # (>>) :: WithProcAndSys m a -> WithProcAndSys m b -> WithProcAndSys m b # return :: a -> WithProcAndSys m a # fail :: String -> WithProcAndSys m a #
Functor m => Functor (WithProcAndSys m) # |
Methods fmap :: (a -> b) -> WithProcAndSys m a -> WithProcAndSys m b # (<$) :: a -> WithProcAndSys m b -> WithProcAndSys m a #
Applicative m => Applicative (WithProcAndSys m) # |
Methods pure :: a -> WithProcAndSys m a # (<*>) :: WithProcAndSys m (a -> b) -> WithProcAndSys m a -> WithProcAndSys m b # (*>) :: WithProcAndSys m a -> WithProcAndSys m b -> WithProcAndSys m b # (<*) :: WithProcAndSys m a -> WithProcAndSys m b -> WithProcAndSys m a #
MonadIO m => MonadIO (WithProcAndSys m) # |
Methods liftIO :: IO a -> WithProcAndSys m a #

withProcAndSys :: (MonadIO m, MonadMask m) => FilePath -> WithProcAndSys m a -> m a #

Mount proc and sys in the specified build root and execute a task. Typically, the task would start with a chroot into the build root. If the build root given is "/" it is assumed that the file systems are already mounted, no mounting or unmounting is done.

withTmp :: (MonadIO m, MonadMask m) => FilePath -> m a -> m a #

Do an IO task with /tmp remounted. This could be used to share /tmp with a build root.