Next: , Previous: , Up: The Configuration Language   [Contents][Index]


8.5.4.19 Partition Attribute Directory

Directory allows the user to specify in which directory the partition executable is stored. This can be useful in heterogeneous systems when the user wants to store executables for the same target in a given directory. Specifying the directory is also useful if the partition executable is not directly visible from the user environment. For instance, when a remote command like rsh is invoked, the executable directory has to be present in the user path. If the Directory attribute has been specified, the executable full name is used.


REPRESENTATION_CLAUSE ::=
   for PARTITION_IDENTIFIER'Directory use STRING_LITERAL;