diff options
Diffstat (limited to 'share')
-rw-r--r-- | share/man/man7/ports.7 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index 0ef0c8c..25a0d48 100644 --- a/share/man/man7/ports.7 +++ b/share/man/man7/ports.7 @@ -451,6 +451,17 @@ If defined, only operate on a port if it can be installed 100% automatically. If defined, disable check for security vulnerabilities using .Xr portaudit 1 Pq Pa ports/security/portaudit when installing new ports. +.It Va NO_IGNORE +If defined, allow installation of ports marked as +.Aq Va FORBIDDEN . +The default behavior of the Ports framework is to abort when the +installation of a forbidden port is attempted. +Setting +.Va NO_IGNORE +Of course, these ports may not work as expected, but if you really know +what you are doing and are sure about installing a forbidden port, then +.Va NO_IGNORE +lets you do it. .El .Sh FILES .Bl -tag -width ".Pa /usr/ports/Mk/bsd.port.mk" -compact |