steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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
modern-harvey4
Doug Coleman 2020-03-15 12:22:15 -05:00
parent 7838405c1b
commit 516a5d9004
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -28,7 +28,7 @@ a boot image stored on factorcode.org.
To check out Factor: To check out Factor:
* `git clone git://factorcode.org/git/factor.git` * `git clone git://github.com/factor/factor.git`
* `cd factor` * `cd factor`
To build the latest complete Factor system from git, either use the To build the latest complete Factor system from git, either use the

8
build.sh
View File

@ -12,7 +12,7 @@ OS=
ARCH= ARCH=
WORD= WORD=
GIT_PROTOCOL=${GIT_PROTOCOL:="git"} 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="$*" SCRIPT_ARGS="$*"
REQUIRE_CLANG_VERSION=3.1 REQUIRE_CLANG_VERSION=3.1
@ -467,7 +467,7 @@ invoke_git() {
} }
git_clone() { git_clone() {
$ECHO "Downloading the git repository from factorcode.org..." $ECHO "Downloading the git repository from github.com..."
invoke_git clone $GIT_URL invoke_git clone $GIT_URL
} }
@ -494,7 +494,7 @@ update_script_changed() {
} }
git_fetch_factorcode() { git_fetch_factorcode() {
$ECHO "Fetching the git repository from factorcode.org..." $ECHO "Fetching the git repository from github.com..."
branch=$(current_git_branch) branch=$(current_git_branch)
rm -f "$(update_script_name)" rm -f "$(update_script_name)"
@ -627,7 +627,7 @@ update_boot_image() {
$ECHO "Factorcode md5: $factorcode_md5"; $ECHO "Factorcode md5: $factorcode_md5";
$ECHO "Disk md5: $disk_md5"; $ECHO "Disk md5: $disk_md5";
if [[ "$factorcode_md5" == "$disk_md5" ]] ; then 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 else
$DELETE $BOOT_IMAGE > /dev/null 2>&1 $DELETE $BOOT_IMAGE > /dev/null 2>&1
get_boot_image get_boot_image

4
extra/mason/git/git.factor
View File

@ -16,7 +16,7 @@ IN: mason.git
{ {
"git" "git"
"clone" "clone"
"git://factorcode.org/git/factor.git" "git://github.com/factor/factor.git"
} ; } ;
: git-clone ( -- ) : git-clone ( -- )
@ -28,7 +28,7 @@ IN: mason.git
{ {
"git" "git"
"pull" "pull"
"git://factorcode.org/git/factor.git" "git://github.com/factor/factor.git"
"master" "master"
} ; } ;