List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void
SIGNATURE ProcessCtrlFun
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- convenient user and group functions
IMPORT
Com[denotation] ONLY com: SORT
FUN homeDir : com[denotation]
-- uses getLogin to determine user name and returns that user's
-- home directory; fails if unknown
next node: Signal,
prev node: ProcessCtrlConv,
up to node: Subsystem Unix