Function stripAnsi

server/utils/docs/text.ts:20–22

(text: string)

const ANSI_PATTERN = new RegExp(`${ESC}\\[[0-9;]*m`, 'g')

export function stripAnsi(text: string): string {
  return text.replace(ANSI_PATTERN, '')
}

/**
 * Escape HTML special characters.