Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id WAA07540; Tue, 7 Nov 1995 22:17:14 +0200 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA056480835; Tue, 7 Nov 1995 12:00:36 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: list Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA056450828; Tue, 7 Nov 1995 12:00:28 -0700 Received: from uu6.psi.com (uu6.psi.com [38.145.155.3]) by dworshak.cs.uidaho.edu (8.6.12/1.1) with SMTP id LAA06458 for ; Tue, 7 Nov 1995 11:00:16 -0800 Received: from va.arca.com by uu6.psi.com (5.65b/4.0.071791-PSI/PSINet) via UUCP; id AA03838 for ; Tue, 7 Nov 95 13:46:45 -0500 From: Steve_Brackin@va.arca.com (Steve Brackin) To: info-hol@cs.uidaho.edu Cc: lichotar@V2.hanscom.af.mil Subject: Accessing UNIX environment variables Date: 07 Nov 1995 16:57:14 GMT Message-Id: <1100218366.6403244@va.arca.com> Organization: Arca Systems, Inc Is it possible to access and/or modify UNIX environment variables from SML/NJ 0.93 and/or HOL90.7? If so, will someone mail me a copy of the documentation page telling how to do it? Sorry to bother the world with this, but I don't have a full SML/NJ 0.93 release, so can't check the documentation, and the people I asked didn't know or didn't get back to me. Steve ---------------------------------------------------------------------- Arca Systems, Inc. Secure Enterprise Solutions ----------------------------------------------------------------------