///
// 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;