From 8b4c822db072e3d54304ece9b06fcc6ad76de114 Mon Sep 17 00:00:00 2001 From: "Jordan K. Hubbard" Date: Wed, 8 Nov 2000 07:30:27 +0000 Subject: [PATCH] Add commented-out entries for FTP_PROXY and HTTP_PROXY so those behind firewalls have examples to work from. Requested by: chein --- etc/defaults/make.conf | 13 ++++++++++++- share/examples/etc/make.conf | 13 ++++++++++++- 2 files changed, 24 insertions(+), 2 deletions(-) diff --git a/etc/defaults/make.conf b/etc/defaults/make.conf index d94e1fa347b..d9f2be7e92c 100644 --- a/etc/defaults/make.conf +++ b/etc/defaults/make.conf @@ -185,11 +185,22 @@ BDECFLAGS= -W -Wall -ansi -pedantic -Wbad-function-cast -Wcast-align \ # #USA_RESIDENT= YES # -# Next one will help ports developers to debug +# +# Override "don't install a port that's already installed" behavior. +# One might wish to do this for ports debugging or to unconditionally +# reinstall a set of suspect/broken ports. # #FORCE_PKG_REGISTER= YES # # +# If you're behind a firewall and need FTP or HTTP proxy services for +# ports collection fetching to work, the following examples give the +# necessary syntax. +# +#FTP_PROXY= 10.0.0.1:21 +#HTTP_PROXY= 10.0.0.1:80 +# +# # Port master sites. # # If you want your port fetches to go somewhere else than the default diff --git a/share/examples/etc/make.conf b/share/examples/etc/make.conf index d94e1fa347b..d9f2be7e92c 100644 --- a/share/examples/etc/make.conf +++ b/share/examples/etc/make.conf @@ -185,11 +185,22 @@ BDECFLAGS= -W -Wall -ansi -pedantic -Wbad-function-cast -Wcast-align \ # #USA_RESIDENT= YES # -# Next one will help ports developers to debug +# +# Override "don't install a port that's already installed" behavior. +# One might wish to do this for ports debugging or to unconditionally +# reinstall a set of suspect/broken ports. # #FORCE_PKG_REGISTER= YES # # +# If you're behind a firewall and need FTP or HTTP proxy services for +# ports collection fetching to work, the following examples give the +# necessary syntax. +# +#FTP_PROXY= 10.0.0.1:21 +#HTTP_PROXY= 10.0.0.1:80 +# +# # Port master sites. # # If you want your port fetches to go somewhere else than the default