Interface pushOptions

interface pushOptions {
    completion?: JQueryTerminal.Completion;
    infiniteLogin?: boolean;
    login?: LoginArgument;
    mousewheel?: MouseWheelCallback;
    name?: string;
    onExit?: () => void;
    onStart?: () => void;
    prompt?: ExtendedPrompt;
}