讲师中心 微信公众号
AI工具推荐 视频效率加速

macOS Homebrew 镜像源怎么同步最新的公式

阿辰同学_8711

阿辰同学_8711

发布时间:2026-10-24 08:20:03

|

996人浏览过

|

来源于php中文网

原创

Homebrew 镜像源不主动同步公式,关键在于本地正确配置镜像地址(如中科大)并执行 brew update;需确保 HOMEBREW_CORE_GIT_REMOTE 环境变量已写入 ~/.zshrc 且 source 生效,再运行 brew update 拉取最新元数据。

homebrew 镜像源本身不负责“同步公式”,它只是被动镜像 github 上官方仓库的公开内容。真正决定公式是否最新、能否拉到最新版本的,是你的本地 homebrew 是否能正确从镜像源拉取并更新元数据。关键不在“镜像站有没有同步”,而在于你是否完成了配置生效 + 主动刷新这两步。

确保镜像源已正确写入并加载

镜像地址(如中科大)必须通过环境变量写进 ~/.zshrc,且已执行 source ~/.zshrc 生效:

  • 检查变量是否在当前终端中存在:
    echo $HOMEBREW_CORE_GIT_REMOTE

    应输出类似 https://mirrors.ustc.edu.cn/homebrew-core.git。

  • 若为空,说明配置未加载,重新运行 source ~/.zshrc,或确认该行确实追加到了文件末尾。

运行 brew update 触发同步

这是唯一让本地公式索引变新的操作。它会:

  • 用你配置的 HOMEBREW_CORE_GIT_REMOTE 地址,对 homebrew-core 仓库执行 git fetch;
  • 更新本地缓存的 formula 列表(即所有软件的版本、下载地址、校验和等信息);
  • 同时也会更新 brew 自身和其它 taps(如 homebrew-cask)的元数据。

✅ 正常日志开头会显示类似:
Fetching https://mirrors.ustc.edu.cn/homebrew-core.git
❌ 如果仍显示 github.com/Homebrew/homebrew-core,说明镜像变量没生效或被后续配置覆盖。

验证公式是否真的更新了

  • 查看某个常用工具的最新可用版本:
    brew info wget

    观察 stable 字段是否为你知道的最新版(比如 1.24.5)。

    macOS Notes
    macOS Notes

    通过 AppleScript 创建、读取、搜索及管理 macOS 备忘录。适用于用户要求记笔记、记录事项、保存想法、创建会议记录等场景。

    下载
  • 或直接搜索新公式(如 2026 年新增的 ollama@0.3.0):
    brew search ollama

    能搜到,说明索引已同步。

注意:镜像有延迟,但通常极小

国内主流镜像(中科大、清华)同步策略是每 5–10 分钟自动拉取一次 GitHub 官方仓库。绝大多数情况下,你在 GitHub 上看到新提交后 15 分钟内,brew update 就能拉到。无需手动干预镜像站——你只管确保本地走的是镜像地址,并定期 brew update 即可。

不复杂但容易忽略

热门AI工具

更多
DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

相关专题

更多
macOS怎么切换用户账户
macOS怎么切换用户账户

在 macOS 系统中,可通过多种方式切换用户账户。如点击苹果图标选择 “系统偏好设置”,打开 “用户与群组” 进行切换;或启用快速用户切换功能,通过菜单栏或控制中心的账户名称切换;还能使用快捷键 “Control+Command+Q” 锁定屏幕后切换。

4784

2025.05.09

磁盘配额是什么
磁盘配额是什么

磁盘配额是计算机中指定磁盘的储存限制,就是管理员可以为用户所能使用的磁盘空间进行配额限制,每一用户只能使用最大配额范围内的磁盘空间。php中文网为大家提供各种磁盘配额相关的内容,教程,供大家免费下载安装。

4170

2023.06.21

如何安装LINUX
如何安装LINUX

本站专题提供如何安装LINUX的相关教程文章,还有相关的下载、课程,大家可以免费体验。

3533

2023.06.29

linux find
linux find

find是linux命令,它将档案系统内符合 expression 的档案列出来。可以指要档案的名称、类别、时间、大小、权限等不同资讯的组合,只有完全相符的才会被列出来。find根据下列规则判断 path 和 expression,在命令列上第一个 - ( ) , ! 之前的部分为 path,之后的是 expression。还有指DOS 命令 find,Excel 函数 find等。本站专题提供linux find相关教程文章,还有相关

2753

2023.06.30

linux修改文件名
linux修改文件名

本专题为大家提供linux修改文件名相关的文章,这些文章可以帮助用户快速轻松地完成文件名的修改工作,大家可以免费体验。

6750

2023.07.05

linux系统安装教程
linux系统安装教程

linux系统是一种可以免费使用,自由传播,多用户、多任务、多线程、多CPU的操作系统。本专题提供linux系统安装教程相关的文章,大家可以免费体验。

6402

2023.07.06

linux查看文件夹大小
linux查看文件夹大小

Linux是一种自由和开放源码的类Unix操作系统,存在着许多不同的Linux版本,但它们都使用了Linux内核。Linux可安装在各种计算机硬件设备中,比如手机、平板电脑、路由器、视频游戏控制台、台式计算机、大型机和超级计算机。linux怎么查看文件夹大小呢?php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

3693

2023.07.20

linux查看ip命令
linux查看ip命令

本专题为大家提供linux查看ip命令相关文章内容,感兴趣的朋友可以免费下载体验试试。

3185

2023.07.20

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

0

2026.10.22

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Python uv官方安装与入门文档
Python uv官方安装与入门文档

共0课时 | 0人学习

Buffalo框架快速入门指南
Buffalo框架快速入门指南

共0课时 | 0人学习

Miniconda官方安装文档
Miniconda官方安装文档

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn