diff options
| author | jkh <jkh@FreeBSD.org> | 2000-11-08 07:30:27 +0000 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 2000-11-08 07:30:27 +0000 |
| commit | 0dbdd6556b74b00c1e599701402ed3176f5ea3b7 (patch) | |
| tree | f4b21ff60b54bbb645d3459b642c747147b4447a /etc | |
| parent | 28e36493b8f2d35f09f32c61260fd92cd1550b59 (diff) | |
| download | FreeBSD-src-0dbdd6556b74b00c1e599701402ed3176f5ea3b7.zip FreeBSD-src-0dbdd6556b74b00c1e599701402ed3176f5ea3b7.tar.gz | |
Add commented-out entries for FTP_PROXY and HTTP_PROXY so those behind
firewalls have examples to work from.
Requested by: chein
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/defaults/make.conf | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/etc/defaults/make.conf b/etc/defaults/make.conf index d94e1fa..d9f2be7 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 |
