/**
 * Bash tool for executing shell commands in Node.js environments.
 */
export { bash } from './bash.js';
export { makeBash } from './make-bash.js';
export type { MakeBashOptions } from './make-bash.js';
export { SANDBOX_BASH_DESCRIPTION, BashTimeoutError, BashSessionError } from './types.js';
export type { BashInput, BashOutput, ExecuteInput, RestartInput } from './types.js';
//# sourceMappingURL=index.d.ts.map