2024-06-23 22:47:43 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2024-06-26 19:08:59 +02:00
|
|
|
# Path to the file containing the list of repositories
|
2024-08-03 21:14:26 +02:00
|
|
|
REPOS_FILE=~/myrepos.txt
|
2024-06-23 22:47:43 +02:00
|
|
|
|
2024-06-26 19:08:59 +02:00
|
|
|
# Check if the repos file exists
|
|
|
|
if [ ! -f "$REPOS_FILE" ]; then
|
|
|
|
echo "Error: $REPOS_FILE does not exist."
|
|
|
|
exit 1
|
|
|
|
fi
|
2024-06-23 22:47:43 +02:00
|
|
|
|
2024-06-26 19:08:59 +02:00
|
|
|
# Read the repos file and process each directory
|
|
|
|
while IFS= read -r repo_path || [[ -n "$repo_path" ]]; do
|
|
|
|
# Trim whitespace
|
|
|
|
repo_path=$(echo "$repo_path" | xargs)
|
2024-06-23 22:47:43 +02:00
|
|
|
|
2024-08-03 21:14:26 +02:00
|
|
|
# Skip empty lines and lines starting with #
|
|
|
|
[[ -z "$repo_path" || "$repo_path" == \#* ]] && continue
|
2024-06-23 22:47:43 +02:00
|
|
|
|
2024-06-26 19:08:59 +02:00
|
|
|
# Expand tilde to home directory
|
|
|
|
repo_path="${repo_path/#\~/$HOME}"
|
2024-06-23 22:47:43 +02:00
|
|
|
|
2024-06-26 19:08:59 +02:00
|
|
|
# Check if the directory exists
|
|
|
|
if [ ! -d "$repo_path" ]; then
|
|
|
|
echo "Warning: Directory $repo_path does not exist. Skipping."
|
|
|
|
continue
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Processing repository: $repo_path"
|
|
|
|
|
|
|
|
# Navigate to the project directory
|
|
|
|
cd "$repo_path" || { echo "Error: Unable to change to directory $repo_path"; continue; }
|
|
|
|
|
|
|
|
# Check if it's a git repository
|
|
|
|
if [ ! -d .git ]; then
|
|
|
|
echo "Warning: $repo_path is not a git repository. Skipping."
|
|
|
|
continue
|
|
|
|
fi
|
|
|
|
|
2024-07-31 05:57:45 +02:00
|
|
|
# Check if 'origin' remote exists
|
|
|
|
if ! git remote | grep -q '^origin$'; then
|
|
|
|
echo "Remote 'origin' not found. Attempting to set it up..."
|
|
|
|
# Try to guess the remote URL based on the directory name
|
|
|
|
repo_name=$(basename "$repo_path")
|
|
|
|
remote_url="https://git.sij.ai/sij/$repo_name.git"
|
|
|
|
git remote add origin "$remote_url"
|
|
|
|
echo "Added remote 'origin' with URL: $remote_url"
|
|
|
|
fi
|
|
|
|
|
2024-06-26 19:08:59 +02:00
|
|
|
# Get the current branch
|
|
|
|
current_branch=$(git rev-parse --abbrev-ref HEAD)
|
|
|
|
|
|
|
|
# Pull the latest changes from the repository
|
|
|
|
echo "Pulling from $current_branch branch..."
|
2024-07-31 05:57:45 +02:00
|
|
|
if ! git pull origin "$current_branch"; then
|
|
|
|
echo "Failed to pull from origin. The remote branch might not exist or there might be conflicts."
|
|
|
|
echo "Skipping further operations for this repository."
|
|
|
|
continue
|
|
|
|
fi
|
2024-06-26 19:08:59 +02:00
|
|
|
|
|
|
|
# Add changes to the Git index (staging area)
|
|
|
|
echo "Adding all changes..."
|
|
|
|
git add .
|
|
|
|
|
|
|
|
# Check if there are changes to commit
|
|
|
|
if git diff-index --quiet HEAD --; then
|
|
|
|
echo "No changes to commit."
|
|
|
|
else
|
|
|
|
# Commit changes
|
|
|
|
echo "Committing changes..."
|
|
|
|
git commit -m "Auto-update: $(date)"
|
|
|
|
|
|
|
|
# Push changes to the remote repository
|
|
|
|
echo "Pushing all changes..."
|
2024-07-31 05:57:45 +02:00
|
|
|
if ! git push origin "$current_branch"; then
|
|
|
|
echo "Failed to push changes. The remote branch might not exist."
|
|
|
|
echo "Creating remote branch and pushing..."
|
|
|
|
git push -u origin "$current_branch"
|
|
|
|
fi
|
2024-06-26 19:08:59 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Update complete for $repo_path!"
|
|
|
|
echo "----------------------------------------"
|
|
|
|
done < "$REPOS_FILE"
|
|
|
|
|
|
|
|
echo "All repositories processed."
|
2024-06-23 22:47:43 +02:00
|
|
|
|