mirror of
https://github.com/GNS3/gns3-server.git
synced 2026-09-21 17:30:51 +03:00
Fix web-ui update script to handle custom GitHub URL changes
When using --url parameter with a different GitHub repository, the script now checks if the existing clone's remote matches the provided URL. If they don't match, it removes the old clone and re-clones from the new URL. This prevents errors when switching between different forks or branches of the gns3-web-ui repository.
This commit is contained in:
parent
1d7feaf994
commit
d4fb45f862
@ -94,6 +94,15 @@ if [ "$CUSTOM_REPO" = false ] ; then
|
|||||||
else
|
else
|
||||||
git clone https://github.com/GNS3/gns3-web-ui.git "$REPO_DIR"
|
git clone https://github.com/GNS3/gns3-web-ui.git "$REPO_DIR"
|
||||||
fi
|
fi
|
||||||
|
elif [[ -n "$GITHUB_URL" ]]; then
|
||||||
|
# Check if existing clone's remote matches the custom URL
|
||||||
|
EXISTING_REMOTE=$(cd "$REPO_DIR" && git config --get remote.origin.url)
|
||||||
|
if [[ "$EXISTING_REMOTE" != "$GITHUB_URL" ]]; then
|
||||||
|
echo "Remote URL mismatch: $EXISTING_REMOTE != $GITHUB_URL"
|
||||||
|
echo "Removing old clone and re-cloning..."
|
||||||
|
rm -rf "$REPO_DIR"
|
||||||
|
git clone "$GITHUB_URL" "$REPO_DIR"
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
cd "$REPO_DIR"
|
cd "$REPO_DIR"
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user