pbat.set
sets the name of the pbat executable. NOTE: This
is retained between sessions for a given user.
pbat.get
gets the current stored name of the pbat executable.pbat.set( executableStr="", CLEAR=FALSE )pbat.get()
pbat.get
returns a string of the currently stored name of the
pbat executable.pbat.m