常用 Linux 命令，支持搜索、高亮与复制。所有操作均在浏览器本地完成。