QuickRecorder 开源屏幕录制工具教程
项目介绍
QuickRecorder 是一个轻量级、高性能的开源 macOS 屏幕录制工具。它支持多种录制功能,包括屏幕、窗口、应用程序以及移动设备的录制。QuickRecorder 利用 macOS 的 ScreenCapture Kit API,提供了强大的录制功能,如免驱动音频内录、鼠标高亮显示、屏幕放大镜等。此外,它还支持 HEVC 带 Alpha 通道的视频格式,目前仅 iMovie 和 FCPX 支持此功能。
项目快速启动
安装 QuickRecorder
首先,确保你的 macOS 系统版本为 12.3 或更高。然后,使用 Homebrew 进行安装:
brew install lihaoyun6/tap/quickrecorder
启动 QuickRecorder
安装完成后,你可以在应用程序目录中找到 QuickRecorder,双击启动。如果遇到证书问题,请参考项目文档中的解决方案。
基本使用
- 启动 QuickRecorder 后,点击 Dock 图标或菜单栏图标打开主面板。
- 选择你想要录制的屏幕、窗口或应用程序。
- 点击“开始录制”按钮,开始录制。
- 录制完成后,点击“停止录制”按钮,保存录制文件。
应用案例和最佳实践
录制教学视频
使用 QuickRecorder 录制教学视频时,可以利用其强大的屏幕录制功能,同时录制系统声音和麦克风声音。通过关闭“混合麦克风轨道”选项,可以分别编辑系统声音和麦克风声音,使教学视频更加专业。
录制游戏视频
对于游戏爱好者,QuickRecorder 提供了免驱动的音频内录功能,可以完美录制游戏中的声音,无需安装第三方驱动。此外,利用 macOS 14 的“演讲者前置”功能,可以在录制游戏视频时实时叠加摄像头画面,增加互动性。
典型生态项目
Azayaka 项目
QuickRecorder 的部分屏幕录制引擎代码来源于 Azayaka 项目,这是一个开源的屏幕录制工具。通过与 Azayaka 项目的合作,QuickRecorder 得以集成更多先进的录制技术,提升用户体验。
iMovie 和 FCPX
QuickRecorder 支持 HEVC 带 Alpha 通道的视频格式,这一功能与 iMovie 和 FCPX 完美兼容。用户可以利用 QuickRecorder 录制高质量的视频,并在 iMovie 或 FCPX 中进行进一步编辑,实现更丰富的视觉效果。
通过以上教程,你可以快速上手 QuickRecorder,并利用其强大的功能进行各种屏幕录制任务。希望 QuickRecorder 能成为你日常工作和娱乐中的得力助手。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00