aboutsummaryrefslogtreecommitdiffstats
path: root/doc/gawk.1
diff options
context:
space:
mode:
authorAndrew J. Schorr <aschorr@telemetry-investments.com>2012-03-20 10:46:03 -0400
committerAndrew J. Schorr <aschorr@telemetry-investments.com>2012-03-20 10:46:03 -0400
commitb51edf37c4271bf5ec5dcad9d35169f55e38efa9 (patch)
tree66653936b87078aa96a562e05f66660b4d616d8e /doc/gawk.1
parentcd44d957787e162df4348028c22e8b9621000790 (diff)
downloadegawk-b51edf37c4271bf5ec5dcad9d35169f55e38efa9.tar.gz
egawk-b51edf37c4271bf5ec5dcad9d35169f55e38efa9.tar.bz2
egawk-b51edf37c4271bf5ec5dcad9d35169f55e38efa9.zip
- Add new environment variable AWKLIBPATH to use when searching for shared
libraries. - Instead of hardcoding the default ".so" suffix for shared libraries, use autoconf to get the right value for this platform. - Build and install some of the bundled shared library extensions so that they will now be available using the default AWKLIBPATH.
Diffstat (limited to 'doc/gawk.1')
-rw-r--r--doc/gawk.119
1 files changed, 14 insertions, 5 deletions
diff --git a/doc/gawk.1 b/doc/gawk.1
index 07a8d0e3..cc0ccae2 100644
--- a/doc/gawk.1
+++ b/doc/gawk.1
@@ -330,11 +330,10 @@ these options cause an immediate, successful exit.)
Load a shared library
.IR lib .
This searches for the library using the
-.B AWKPATH
-environment variable. The suffix
-.I .so
-in the library name is optional, and
-the library initialization routine is expected to be named
+.B AWKLIBPATH
+environment variable. If the initial search fails, another attempt will
+be made after appending the default shared library suffix for the platform.
+The library initialization routine is expected to be named
.BR dlload() .
.TP
.PD 0
@@ -3596,6 +3595,16 @@ and
options.
.PP
The
+.B AWKLIBPATH
+environment variable can be used to provide a list of directories that
+.I gawk
+searches when looking for files named via the
+.B \-l
+and
+.B \-\^\-load
+options.
+.PP
+The
.B GAWK_READ_TIMEOUT
environment variable can be used to specify a timeout
in milliseconds for reading input from a terminal, pipe