一个用 websocket 实现的 ssh 前端是值得尝试的事情……