2012-09-24 22:45:36 +00:00
|
|
|
#
|
|
|
|
# Removes a Git submodule.
|
|
|
|
#
|
|
|
|
# Authors:
|
|
|
|
# Sorin Ionescu <sorin.ionescu@gmail.com>
|
|
|
|
#
|
|
|
|
|
2017-07-06 23:01:26 +00:00
|
|
|
# function git-submodule-remove {
|
|
|
|
|
2018-03-05 08:56:25 +00:00
|
|
|
if ! is-true "$(command git rev-parse --is-inside-work-tree 2> /dev/null)"; then
|
2012-09-30 19:30:18 +00:00
|
|
|
print "$0: not a repository work tree: $PWD" >&2
|
2012-09-24 22:45:36 +00:00
|
|
|
return 1
|
2012-09-30 19:30:18 +00:00
|
|
|
elif [[ "$PWD" != "$(git-root)" ]]; then
|
|
|
|
print "$0: must be run from the root of the work tree" >&2
|
|
|
|
return 1
|
2018-03-05 08:56:25 +00:00
|
|
|
elif ! command git config --file .gitmodules --get "submodule.${1}.path" &> /dev/null; then
|
2012-09-24 22:45:36 +00:00
|
|
|
print "$0: submodule not found: $1" >&2
|
|
|
|
return 1
|
|
|
|
fi
|
|
|
|
|
2018-03-05 08:56:25 +00:00
|
|
|
command git config --file "$(git-dir)/config" --remove-section "submodule.${1}" &> /dev/null
|
|
|
|
command git config --file "$(git-root)/.gitmodules" --remove-section "submodule.${1}" &> /dev/null
|
|
|
|
command git add .gitmodules
|
2012-09-24 22:45:36 +00:00
|
|
|
|
2021-05-20 00:54:57 +00:00
|
|
|
command git rm --cached -rf "$1"
|
|
|
|
rm -rf "$1"
|
|
|
|
rm -rf "$(git-dir)/modules/$1"
|
2012-09-24 22:45:36 +00:00
|
|
|
|
|
|
|
return 0
|
2017-07-06 23:01:26 +00:00
|
|
|
|
|
|
|
# }
|