31 lines
995 B
Bash
31 lines
995 B
Bash
#!/bin/bash
|
|
|
|
# Script to update git remote domain to git.polymech.info
|
|
# This script updates the origin remote URL from git.polymech.io to git.polymech.info
|
|
|
|
echo "Updating git remote domain to git.polymech.info..."
|
|
|
|
# Get current remote URL
|
|
current_url=$(git remote get-url origin)
|
|
echo "Current remote URL: $current_url"
|
|
|
|
# Replace git.polymech.io with git.polymech.info
|
|
new_url=$(echo "$current_url" | sed 's/git\.polymech\.io/git.polymech.info/g')
|
|
echo "New remote URL: $new_url"
|
|
|
|
# Update the remote URL
|
|
git remote set-url origin "$new_url"
|
|
|
|
# Verify the change
|
|
updated_url=$(git remote get-url origin)
|
|
echo "Updated remote URL: $updated_url"
|
|
|
|
# Test connectivity
|
|
echo "Testing connectivity to new remote..."
|
|
if git ls-remote origin > /dev/null 2>&1; then
|
|
echo "✅ Successfully connected to new remote!"
|
|
else
|
|
echo "❌ Warning: Could not connect to new remote. Please check the URL and your network connection."
|
|
fi
|
|
|
|
echo "Git remote update completed!" |