/// // the redirect arguments come from the same command line as the arguments of // the command, so they are parsed the same way unless processArguments is off export type RedirectCallback = (this: JQueryTerminal, ...args: A[]) => TypeOrPromise; export type PipeRedirects = Array<{ name: string; output?: true; callback: RedirectCallback; }>; export type PipeOptions = { processArguments?: boolean; redirects?: PipeRedirects; }; declare global { namespace JQueryTerminal { interface TerminalOptions { pipe?: boolean; redirects?: PipeRedirects; } } interface JQueryTerminalStatic { pipe( obj: JQueryTerminal.ObjectInterpreter, options: PipeOptions & { processArguments: false } ): JQueryTerminal.interpreterFunction; pipe(obj: JQueryTerminal.ObjectInterpreter, options?: PipeOptions): JQueryTerminal.interpreterFunction; } } declare const pipe: (window: Window, JQuery: JQueryStatic) => void; export default pipe;