docs(shell): add function docstring comments

This commit is contained in:
2026-02-07 15:07:22 +02:00
parent 4266567327
commit 3ff83754b1
31 changed files with 135 additions and 3 deletions

View File

@@ -42,6 +42,7 @@ done
# Mark certain repositories shallow
git config -f .gitmodules submodule.antidote.shallow true
# Log a message using msgr if available, else echo
_log() {
local msg="$1"
if command -v msgr > /dev/null 2>&1; then
@@ -52,6 +53,7 @@ _log() {
return 0
}
# Remove a stale git submodule and clean up references
remove_old_submodule() {
local name="$1" path="$2"