diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2017-01-30 17:59:37 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-01-30 17:59:37 -0700 |
| commit | 8fcc618914716ad775f6bb800c9c598e51e349b9 (patch) | |
| tree | 3d3fc63f9fb220a006af26f9d4f1eb57296fc511 /src | |
| parent | 27255d21f7f7691339c7f5ccea954b67908c09fe (diff) | |
tweak stub
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Property/Apt.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/Propellor/Property/Apt.hs b/src/Propellor/Property/Apt.hs index 593515a0..4eac6670 100644 --- a/src/Propellor/Property/Apt.hs +++ b/src/Propellor/Property/Apt.hs @@ -230,8 +230,9 @@ buildDepIn dir = cmdPropertyEnv "sh" ["-c", cmd] noninteractiveEnv where cmd = "cd '" ++ dir ++ "' && mk-build-deps debian/control --install --tool 'apt-get -y --no-install-recommends' --remove" --- | Pins a list of packages and/or package wildcards to a given suite with a --- given pin priority (see apt_preferences(5)). Revert to unpin. +-- | Pins a list of packages, package wildcards and/or regular expressions to a +-- given suite with a given pin priority (see apt_preferences(5)). Revert to +-- unpin. -- -- Note that this will have no effect unless there is an apt source for the -- suite. One way to add an apt source is 'Apt.suiteAvailablePinned'. @@ -241,6 +242,7 @@ buildDepIn dir = cmdPropertyEnv "sh" ["-c", cmd] noninteractiveEnv -- > & Apt.suiteAvailablePinned Unstable -- > & ["elpa-*"] `Apt.pinnedTo` Unstable 990 pinnedTo :: [String] -> DebianSuite -> PinPriority -> RevertableProperty Debian +pinnedTo = undefined -- | Package installation may fail becuse the archive has changed. -- Run an update in that case and retry. |