4.3 Passwdhome Interface

ORIGIN '~beta/basiclib/betaenv';
LIB_DEF 'passwdhome' '../lib';
BODY 'private/passwdhomebody'
(*
 * COPYRIGHT
 *       Copyright Mjolner Informatics, 1992-94
 *       All rights reserved.
 *)
--- LIB: attributes ---

getPassWdHome: 
  (* Expands usernames like ~cn to real home directories like  /users/cn *)
  (# t: ^text;
  enter t[]
  ...
  exit t[]
  #)