diff options
| author | Hilko Bengen <bengen@hilluzination.de> | 2011-09-12 23:58:09 +0200 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2011-09-23 19:28:18 +0100 |
| commit | b8cea4656e5bf1b9e7bb2274ef968ea42b10e0df (patch) | |
| tree | 02bd50b88b425807596d28d66b2098bdb9f81245 /src/febootstrap_cmdline.mli | |
| parent | bdd7c861768637bbcafdf3f4474944bd4680e13f (diff) | |
| download | febootstrap-b8cea4656e5bf1b9e7bb2274ef968ea42b10e0df.tar.gz febootstrap-b8cea4656e5bf1b9e7bb2274ef968ea42b10e0df.tar.xz febootstrap-b8cea4656e5bf1b9e7bb2274ef968ea42b10e0df.zip | |
febootstrap: Use contents of installed Debian packages instead of downloading and unpacking them.
This also adds --use-installed switch (which for now only works for
Debian).
Diffstat (limited to 'src/febootstrap_cmdline.mli')
| -rw-r--r-- | src/febootstrap_cmdline.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/febootstrap_cmdline.mli b/src/febootstrap_cmdline.mli index d948d80..a545012 100644 --- a/src/febootstrap_cmdline.mli +++ b/src/febootstrap_cmdline.mli @@ -38,6 +38,9 @@ val packages : string list val save_temps : bool (** True if [--save-temps] was given on the command line. *) +val use_installed : bool + (** True if [--use-installed] was given on the command line *) + val verbose : bool (** True if [--verbose] was given on the command line. See also {!debug}. *) |