<> <> <> <> <> DIRECTORY Rope USING [ROPE]; DefaultRemoteNames: CEDAR DEFINITIONS = BEGIN ROPE: TYPE ~ Rope.ROPE; DefaultNames: TYPE = REF DefaultNamesRep; DefaultNamesRep: TYPE = RECORD [ systemHost: ROPE, -- host name, including brackets, as in "[Indigo]" userHost: ROPE, -- host name for users, including brackets, as in "[Ivy]" current: ROPE, -- system root directory, including host, as in "[Indigo]" previous: ROPE, -- root directory of last release, as in "[Indigo]" registry: ROPE -- user's default Grapevine registry (as in "PA" for Palo Alto) ]; Get: PROC RETURNS [DefaultNames]; <> Set: PROC [new: DefaultNames]; <> <> END. <> <> <<>>