When there is no proxy set, pass an empty string to the Debian
Installer. This way, the installer will not ask for a proxy.
---
builder/templates/make-template.ml | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/builder/templates/make-template.ml b/builder/templates/make-template.ml
index 164e146..fe9a44f 100755
--- a/builder/templates/make-template.ml
+++ b/builder/templates/make-template.ml
@@ -726,7 +726,11 @@ and make_virt_install_command os arch ks tmpname tmpout tmpefivars
location
let proxy =
let p = try Some (Sys.getenv "http_proxy") with Not_found -> None in
match p with
- | None -> ""
+ | None ->
+ (match os with
+ | Fedora _ | RHEL _ | CentOS _ | Ubuntu _ -> ""
+ | Debian _ -> "mirror/http/proxy="
+ )
| Some p ->
match os with
| Fedora _ | RHEL _ | CentOS _ -> "proxy=" ^ p
--
2.9.4