Class ShellPrompts

    • Method Detail

      • pushPrompt

        public void pushPrompt​(String prompt)
        Push a new prompt to be used by the shell.
        Parameters:
        prompt - the prompt
        See Also:
        popPrompt()
      • getPrompt

        public String getPrompt()
        Returns the current prompt.
        Returns:
        the current prompt