This repository has been archived by the owner on Jan 9, 2023. It is now read-only.
Write script to clone code #540
Comments
|
😛 There, actually, is such a script among the Docker scripts, too. |
|
Is this pull-gee-repository.sh ? |
|
Yes, it is. Although, this one doesn't contain calculating the repository URL from a Git Hub username. We could make it a bit more user-friendly, and get it out of the Docker scripts directory. |
|
I can do this when time comes. |
tst-basilhuffman
added a commit
to tst-basilhuffman/earthenterprise
that referenced
this issue
Oct 16, 2017
re-write of a similar script of pavel's in the docker build, but a bit more user friendly. low priority merge. addresses google#540. might be useful for new folks
Merged
tst-lsavoie
pushed a commit
that referenced
this issue
Nov 1, 2017
* wrote small script over the weekened to help clone, written as a kind of re-write of a similar script of pavel's in the docker build, but a bit more user friendly. low priority merge. addresses #540. might be useful for new folks * added copyright inro and portable shebang line * added license * refactored to allow for interactive and non interactive mode to test: 1) ./pull-gee-repository.sh clones main repo into "earthenterprise" 2) ./pull-gee-repository.sh -i runs script in user-interactive mode 3) ./pull-gee-repository.sh -d <DIR> clones main repo into "<DIR>" 4) ./pull-gee-repository.sh -f <USERNAME> clones fork <USERNAME> via ssh. can combine with -d 5) ./pull-gee-repository.sh -f <USERNAME> -p <PASSWORD> clones fork <USERNAME> via https with password <PASSWORD> 6) ./pull-gee-repository.sh -p <PASSWORD> FAILS due to not have a username i.e. fork 7) ./pull-gee-repository.sh -d FAILS due to not specifying a directory 8) ./pull-gee-repository.sh -h displays help info * missed some things last night, fixed * took out check for ssh file
tst-mswartz
pushed a commit
to tst-mswartz/earthenterprise
that referenced
this issue
Nov 9, 2017
* wrote small script over the weekened to help clone, written as a kind of re-write of a similar script of pavel's in the docker build, but a bit more user friendly. low priority merge. addresses google#540. might be useful for new folks * added copyright inro and portable shebang line * added license * refactored to allow for interactive and non interactive mode to test: 1) ./pull-gee-repository.sh clones main repo into "earthenterprise" 2) ./pull-gee-repository.sh -i runs script in user-interactive mode 3) ./pull-gee-repository.sh -d <DIR> clones main repo into "<DIR>" 4) ./pull-gee-repository.sh -f <USERNAME> clones fork <USERNAME> via ssh. can combine with -d 5) ./pull-gee-repository.sh -f <USERNAME> -p <PASSWORD> clones fork <USERNAME> via https with password <PASSWORD> 6) ./pull-gee-repository.sh -p <PASSWORD> FAILS due to not have a username i.e. fork 7) ./pull-gee-repository.sh -d FAILS due to not specifying a directory 8) ./pull-gee-repository.sh -h displays help info * missed some things last night, fixed * took out check for ssh file
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
As a corollary to PR #475 a script should be written to clone code. It should handle both the case of cloning the main repo as well as a user-forked repo.
The text was updated successfully, but these errors were encountered: