代码拉取完成,页面将自动刷新
同步操作将从 乐鑫开源/esp-idf 强制同步,此操作会覆盖自 Fork 仓库以来所做的任何修改,且无法恢复!!!
确定后同步将在后台操作,完成时将刷新页面,请耐心等待。
#!/usr/bin/env bash
#
# Explicitly switches the relative submodules locations on GitHub to the original public URLs
#
# '../../group/repo.git' to 'https://github.com/group/repo.git'
#
# This can be useful for non-GitHub forks to automate getting of right submodules sources.
#
#
# It makes sense to do
#
# git submodule deinit --force .
# git submodule init
#
# before running this, and
#
# git submodule update --recursive
#
# after that. These were not included over this script deliberately, to use the script flexibly
#
set -o errexit
set -o pipefail
set -o nounset
DEBUG_SHELL=${DEBUG_SHELL:-"0"}
[ "${DEBUG_SHELL}" = "1" ] && set -x
### '../../' relative locations
for LINE in $(git config -f .gitmodules --list | grep "\.url=../../[^.]")
do
SUBPATH=$(echo "${LINE}" | sed "s|^submodule\.\([^.]*\)\.url.*$|\1|")
LOCATION=$(echo "${LINE}" | sed 's|.*\.url=\.\./\.\./\(.*\)$|\1|')
SUBURL="https://github.com/$LOCATION"
git config submodule."${SUBPATH}".url "${SUBURL}"
done
git config --get-regexp '^submodule\..*\.url$'
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。