From 172649f667f3051c7b30eb288c9483d83b01017d Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sun, 15 Mar 2020 12:22:15 -0500 Subject: [PATCH] factor: Update all repos to point to github.com. factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server Change strategy for calling git fetch to not include the branch name if we are on a detached HEAD --- README.md | 2 +- build.sh | 22 +++++++++++++--------- extra/mason/git/git.factor | 4 ++-- 3 files changed, 16 insertions(+), 12 deletions(-) diff --git a/README.md b/README.md index f9f7fde4f7..2f8d3f63ad 100644 --- a/README.md +++ b/README.md @@ -28,7 +28,7 @@ a boot image stored on factorcode.org. To check out Factor: -* `git clone git://factorcode.org/git/factor.git` +* `git clone git://github.com/factor/factor.git` * `cd factor` To build the latest complete Factor system from git, either use the diff --git a/build.sh b/build.sh index 4e3e7bfe39..3327fc095d 100755 --- a/build.sh +++ b/build.sh @@ -12,7 +12,7 @@ OS= ARCH= WORD= GIT_PROTOCOL=${GIT_PROTOCOL:="git"} -GIT_URL=${GIT_URL:=$GIT_PROTOCOL"://factorcode.org/git/factor.git"} +GIT_URL=${GIT_URL:=$GIT_PROTOCOL"://github.com/factor/factor.git"} SCRIPT_ARGS="$*" REQUIRE_CLANG_VERSION=3.1 @@ -467,7 +467,7 @@ invoke_git() { } git_clone() { - $ECHO "Downloading the git repository from factorcode.org..." + $ECHO "Downloading the git repository from github.com..." invoke_git clone $GIT_URL } @@ -492,11 +492,13 @@ update_script_changed() { invoke_git diff --stat "$(invoke_git merge-base HEAD FETCH_HEAD)" FETCH_HEAD | grep 'build\.sh' >/dev/null } -git_fetch_factorcode() { - $ECHO "Fetching the git repository from factorcode.org..." +git_fetch() { + $ECHO "Fetching the git repository from github.com..." + branch=$(current_git_branch) rm -f "$(update_script_name)" - invoke_git fetch "$GIT_URL" master + $ECHO git fetch "$GIT_URL" "$branch" + invoke_git fetch "$GIT_URL" "$branch" if update_script_changed; then $ECHO "Updating and restarting the build.sh script..." @@ -567,7 +569,9 @@ make_clean_factor() { } current_git_branch() { - git rev-parse --abbrev-ref HEAD + # git rev-parse --abbrev-ref HEAD # outputs HEAD for detached head + # outputs nothing for detached HEAD, which is fine for ``git fetch`` + git describe --all --exact-match 2>/dev/null | sed 's=.*/==' } check_url() { @@ -624,7 +628,7 @@ update_boot_image() { $ECHO "Factorcode md5: $factorcode_md5"; $ECHO "Disk md5: $disk_md5"; if [[ "$factorcode_md5" == "$disk_md5" ]] ; then - $ECHO "Your disk boot image matches the one on factorcode.org." + $ECHO "Your disk boot image matches the one on downloads.factorcode.org." else $DELETE $BOOT_IMAGE > /dev/null 2>&1 get_boot_image @@ -677,7 +681,7 @@ install() { update() { get_config_info - git_fetch_factorcode + git_fetch backup_factor make_clean_factor } @@ -770,7 +774,7 @@ if [[ -n "$2" ]] ; then fi if [ "$#" -gt 3 ]; then - usage + usage $ECHO "error: too many arguments" exit 1 fi diff --git a/extra/mason/git/git.factor b/extra/mason/git/git.factor index 8f4d03a564..681646b749 100644 --- a/extra/mason/git/git.factor +++ b/extra/mason/git/git.factor @@ -16,7 +16,7 @@ IN: mason.git { "git" "clone" - "git://factorcode.org/git/factor.git" + "git://github.com/factor/factor.git" } ; : git-clone ( -- ) @@ -28,7 +28,7 @@ IN: mason.git { "git" "pull" - "git://factorcode.org/git/factor.git" + "git://github.com/factor/factor.git" "master" } ; -- 2.34.1