--- etc/network.opts.orig	Sat Nov  8 12:10:56 2003
+++ etc/network.opts	Sat Nov  8 12:42:27 2003
@@ -21,6 +21,8 @@
     PPPOE="n"
     # Use WHEREAMI (via the whereami package)? [y/n]
     WHEREAMI="n"
+    # Use NETENV (via the netenv package)? [y/n]
+    USE_NETENV="n"
     # Host's IP address, netmask, network address, broadcast address
     IPADDR=""
     NETMASK="255.255.255.0"
@@ -55,5 +57,13 @@
     # Card eject policy options
     NO_CHECK=n
     NO_FUSER=n
+    if [ $USE_NETENV = y ]; then
+      if [ -r /var/tmp/netenv ]; then
+	. /var/tmp/netenv
+      else
+	echo "/var/tmp/netenv unreadable. Perhaps you should set"
+	echo "USE_NETENV=n in /etc/pcmcia/network.opts"
+      fi
+    fi
     ;;
 esac
