propellor-5.7.0: property-based host configuration management in haskell

Maintainer2016 Evan Cofsky <evan@theunixman.com>
Safe HaskellNone
LanguageHaskell98

Propellor.Property.Apt.PPA

Description

Personal Package Archives

Synopsis

Documentation

installed :: Property DebianLike Source #

Ensure software-properties-common is installed.

data PPA Source #

Personal Package Archives are people's individual package contributions to the Buntish distro. There's a well-known format for representing them, and this type represents that. It's also an instance of Show and IsString so it can work with OverloadedStrings. More on PPAs can be found at https://help.launchpad.net/Packaging/PPA

Constructors

PPA 

Fields

Instances
Eq PPA Source # 
Instance details

Defined in Propellor.Property.Apt.PPA

Methods

(==) :: PPA -> PPA -> Bool #

(/=) :: PPA -> PPA -> Bool #

Ord PPA Source # 
Instance details

Defined in Propellor.Property.Apt.PPA

Methods

compare :: PPA -> PPA -> Ordering #

(<) :: PPA -> PPA -> Bool #

(<=) :: PPA -> PPA -> Bool #

(>) :: PPA -> PPA -> Bool #

(>=) :: PPA -> PPA -> Bool #

max :: PPA -> PPA -> PPA #

min :: PPA -> PPA -> PPA #

IsString PPA Source # 
Instance details

Defined in Propellor.Property.Apt.PPA

Methods

fromString :: String -> PPA #

ConfigurableValue PPA Source # 
Instance details

Defined in Propellor.Property.Apt.PPA

Methods

val :: PPA -> String Source #

addPpa :: PPA -> Property DebianLike Source #

Adds a PPA to the local system repositories.

data AptKeyId Source #

A repository key ID to be downloaded with apt-key.

Constructors

AptKeyId 

addKeyId :: AptKeyId -> Property DebianLike Source #

Adds an AptKeyId from the specified GPG server.

data AptSource Source #

An Apt source line that apt-add-repository will just add to sources.list. It's also an instance of both ConfigurableValue and IsString to make using OverloadedStrings in the configuration file easier.

| FIXME there's apparently an optional "options" fragment that I've definitely not parsed here.

Constructors

AptSource 

Fields

data AptRepository Source #

A repository for apt-add-source, either a PPA or a regular repository line.