2018-01-10 10:25:25 -05:00
|
|
|
# vim:et sts=2 sw=2 ft=zsh
|
|
|
|
local git_dir
|
|
|
|
git_dir=$(git-dir) || return 1
|
|
|
|
|
|
|
|
if [[ ${PWD} != $(git-root) ]]; then
|
2015-12-19 09:48:29 -05:00
|
|
|
print "${0}: must be run from the root of the work tree" >&2
|
2015-12-15 00:12:17 -05:00
|
|
|
return 1
|
2016-02-04 15:33:12 -05:00
|
|
|
elif ! command git config --file .gitmodules --get "submodule.${1}.path" &>/dev/null; then
|
2015-12-19 09:48:29 -05:00
|
|
|
print "${0}: submodule not found: ${1}" >&2
|
2015-12-15 00:12:17 -05:00
|
|
|
return 1
|
|
|
|
fi
|
|
|
|
|
2018-01-10 10:25:25 -05:00
|
|
|
command git config --file "${git_dir}/config" --remove-section "submodule.${1}" &>/dev/null
|
|
|
|
command git config --file .gitmodules --remove-section "submodule.${1}" &>/dev/null
|
2016-02-04 15:33:12 -05:00
|
|
|
command git add .gitmodules
|
2015-12-15 00:12:17 -05:00
|
|
|
|
2018-01-10 10:25:25 -05:00
|
|
|
command git rm --cached "${1}" &>/dev/null
|
2015-12-15 00:12:17 -05:00
|
|
|
rm -rf "${1}"
|
2018-01-10 10:25:25 -05:00
|
|
|
rm -rf "${git_dir}/modules/${1}"
|
2015-12-15 00:12:17 -05:00
|
|
|
|
|
|
|
return 0
|