Co-authored-by: Github Action <action@github.com> Co-authored-by: Dax Raad <d@ironbay.co>
200 lines
5.1 KiB
TypeScript
200 lines
5.1 KiB
TypeScript
import { spawn, type IPty } from "bun-pty"
|
|
import z from "zod"
|
|
import { Identifier } from "../id/id"
|
|
import { Log } from "../util/log"
|
|
import { Bus } from "../bus"
|
|
import type { WSContext } from "hono/ws"
|
|
import { Instance } from "../project/instance"
|
|
import { shell } from "@opencode-ai/util/shell"
|
|
|
|
export namespace Pty {
|
|
const log = Log.create({ service: "pty" })
|
|
|
|
export const Info = z
|
|
.object({
|
|
id: Identifier.schema("pty"),
|
|
title: z.string(),
|
|
command: z.string(),
|
|
args: z.array(z.string()),
|
|
cwd: z.string(),
|
|
status: z.enum(["running", "exited"]),
|
|
pid: z.number(),
|
|
})
|
|
.meta({ ref: "Pty" })
|
|
|
|
export type Info = z.infer<typeof Info>
|
|
|
|
export const CreateInput = z.object({
|
|
command: z.string().optional(),
|
|
args: z.array(z.string()).optional(),
|
|
cwd: z.string().optional(),
|
|
title: z.string().optional(),
|
|
env: z.record(z.string(), z.string()).optional(),
|
|
})
|
|
|
|
export type CreateInput = z.infer<typeof CreateInput>
|
|
|
|
export const UpdateInput = z.object({
|
|
title: z.string().optional(),
|
|
size: z
|
|
.object({
|
|
rows: z.number(),
|
|
cols: z.number(),
|
|
})
|
|
.optional(),
|
|
})
|
|
|
|
export type UpdateInput = z.infer<typeof UpdateInput>
|
|
|
|
export const Event = {
|
|
Created: Bus.event("pty.created", z.object({ info: Info })),
|
|
Updated: Bus.event("pty.updated", z.object({ info: Info })),
|
|
Exited: Bus.event("pty.exited", z.object({ id: Identifier.schema("pty"), exitCode: z.number() })),
|
|
Deleted: Bus.event("pty.deleted", z.object({ id: Identifier.schema("pty") })),
|
|
}
|
|
|
|
interface ActiveSession {
|
|
info: Info
|
|
process: IPty
|
|
buffer: string
|
|
subscribers: Set<WSContext>
|
|
}
|
|
|
|
const state = Instance.state(
|
|
() => new Map<string, ActiveSession>(),
|
|
async (sessions) => {
|
|
for (const session of sessions.values()) {
|
|
try {
|
|
session.process.kill()
|
|
} catch {}
|
|
for (const ws of session.subscribers) {
|
|
ws.close()
|
|
}
|
|
}
|
|
sessions.clear()
|
|
},
|
|
)
|
|
|
|
export function list() {
|
|
return Array.from(state().values()).map((s) => s.info)
|
|
}
|
|
|
|
export function get(id: string) {
|
|
return state().get(id)?.info
|
|
}
|
|
|
|
export async function create(input: CreateInput) {
|
|
const id = Identifier.create("pty", false)
|
|
const command = input.command || shell()
|
|
const args = input.args || []
|
|
const cwd = input.cwd || Instance.directory
|
|
const env = { ...process.env, ...input.env } as Record<string, string>
|
|
log.info("creating session", { id, cmd: command, args, cwd })
|
|
|
|
const ptyProcess = spawn(command, args, {
|
|
name: "xterm-256color",
|
|
cwd,
|
|
env,
|
|
})
|
|
const info = {
|
|
id,
|
|
title: input.title || `Terminal ${id.slice(-4)}`,
|
|
command,
|
|
args,
|
|
cwd,
|
|
status: "running",
|
|
pid: ptyProcess.pid,
|
|
} as const
|
|
const session: ActiveSession = {
|
|
info,
|
|
process: ptyProcess,
|
|
buffer: "",
|
|
subscribers: new Set(),
|
|
}
|
|
state().set(id, session)
|
|
ptyProcess.onData((data) => {
|
|
if (session.subscribers.size === 0) {
|
|
session.buffer += data
|
|
return
|
|
}
|
|
for (const ws of session.subscribers) {
|
|
if (ws.readyState === 1) {
|
|
ws.send(data)
|
|
}
|
|
}
|
|
})
|
|
ptyProcess.onExit(({ exitCode }) => {
|
|
log.info("session exited", { id, exitCode })
|
|
session.info.status = "exited"
|
|
Bus.publish(Event.Exited, { id, exitCode })
|
|
state().delete(id)
|
|
})
|
|
Bus.publish(Event.Created, { info })
|
|
return info
|
|
}
|
|
|
|
export async function update(id: string, input: UpdateInput) {
|
|
const session = state().get(id)
|
|
if (!session) return
|
|
if (input.title) {
|
|
session.info.title = input.title
|
|
}
|
|
if (input.size) {
|
|
session.process.resize(input.size.cols, input.size.rows)
|
|
}
|
|
Bus.publish(Event.Updated, { info: session.info })
|
|
return session.info
|
|
}
|
|
|
|
export async function remove(id: string) {
|
|
const session = state().get(id)
|
|
if (!session) return
|
|
log.info("removing session", { id })
|
|
try {
|
|
session.process.kill()
|
|
} catch {}
|
|
for (const ws of session.subscribers) {
|
|
ws.close()
|
|
}
|
|
state().delete(id)
|
|
Bus.publish(Event.Deleted, { id })
|
|
}
|
|
|
|
export function resize(id: string, cols: number, rows: number) {
|
|
const session = state().get(id)
|
|
if (session && session.info.status === "running") {
|
|
session.process.resize(cols, rows)
|
|
}
|
|
}
|
|
|
|
export function write(id: string, data: string) {
|
|
const session = state().get(id)
|
|
if (session && session.info.status === "running") {
|
|
session.process.write(data)
|
|
}
|
|
}
|
|
|
|
export function connect(id: string, ws: WSContext) {
|
|
const session = state().get(id)
|
|
if (!session) {
|
|
ws.close()
|
|
return
|
|
}
|
|
log.info("client connected to session", { id })
|
|
session.subscribers.add(ws)
|
|
if (session.buffer) {
|
|
ws.send(session.buffer)
|
|
session.buffer = ""
|
|
}
|
|
return {
|
|
onMessage: (message: string | ArrayBuffer) => {
|
|
session.process.write(String(message))
|
|
},
|
|
onClose: () => {
|
|
log.info("client disconnected from session", { id })
|
|
session.subscribers.delete(ws)
|
|
},
|
|
}
|
|
}
|
|
}
|