From b8cea4656e5bf1b9e7bb2274ef968ea42b10e0df Mon Sep 17 00:00:00 2001 From: Hilko Bengen Date: Mon, 12 Sep 2011 23:58:09 +0200 Subject: 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). --- src/febootstrap_cmdline.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/febootstrap_cmdline.mli') 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}. *) -- cgit