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_pacman.ml | |
| 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_pacman.ml')
| -rw-r--r-- | src/febootstrap_pacman.ml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/febootstrap_pacman.ml b/src/febootstrap_pacman.ml index 6691ebe..657f4d7 100644 --- a/src/febootstrap_pacman.ml +++ b/src/febootstrap_pacman.ml @@ -71,7 +71,10 @@ let pacman_resolve_dependencies_and_download names = List.sort compare pkgs -let pacman_list_files pkg = +let pacman_list_files ?(use_installed=false) pkg = + if use_installed then + failwith "pacman driver doesn't support --use-installed"; + debug "unpacking %s ..." pkg; (* We actually need to extract the file in order to get the @@ -117,7 +120,10 @@ let pacman_list_files pkg = files (* Easy because we already unpacked the archive above. *) -let pacman_get_file_from_package pkg file = +let pacman_get_file_from_package ?(use_installed=false) pkg file = + if use_installed then + failwith "pacman driver doesn't support --use-installed"; + tmpdir // pkg ^ ".d" // file let () = |