Janik von Rotz
fa48eda0c0
- Added alias functions to all bin scripts using first-letter pattern (e.g., `av` for `activate-venv`, `cwl` for `commit-with-llm`) - Implemented collision resolution by extending aliases with additional letters when conflicts occur or when shadowing standard shell commands - Documented alias implementation approach in library.md with complete alias map for reference - Verified shell syntax with `bash -n` and ensured proper argument passing with `"$@"` - Updated prompt frontmatter to reflect completed state and model used (infomaniak/moonshotai/Kimi-K2.6)
33 lines
871 B
Bash
Executable File
33 lines
871 B
Bash
Executable File
#!/bin/bash
|
|
|
|
pull-git-folder() {
|
|
if [[ -z "$1" ]]; then
|
|
echo '$1/branch is empty.'
|
|
exit
|
|
fi
|
|
if [[ -z "$2" ]]; then
|
|
echo '$2/path is empty.'
|
|
exit
|
|
fi
|
|
|
|
local git_folders=$(ls-git-folder "$2")
|
|
for git_folder in $git_folders; do
|
|
git_folder="${git_folder#./}"
|
|
|
|
local git_folder_path=$(git config --file .gitmodules --get submodule."$git_folder".path)
|
|
local git_folder_url=$(git config --file .gitmodules --get submodule."$git_folder".url)
|
|
|
|
if [[ -z "$git_folder_path" ]] || [[ -z "$git_folder_url" ]]; then
|
|
echo "Skipping: '$git_folder' not defined in .gitmodules."
|
|
continue
|
|
fi
|
|
|
|
echo "Pull git folder $git_folder."
|
|
git -C "$git_folder" stash
|
|
git -C "$git_folder" pull origin "$1"
|
|
done
|
|
}
|
|
pgf() {
|
|
pull-git-folder "$@"
|
|
}
|