diff options
Diffstat (limited to 'etc/defaults/make.conf')
| -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 |
