mirror of
https://github.com/codeninjasllc/codecombat.git
synced 2024-11-27 17:45:40 -05:00
Removed ssh option (less is more) and placed now the repository in a subdir so that the db can be placed in the env path as well.
This commit is contained in:
parent
71608bf2ef
commit
4d09d6b472
1 changed files with 5 additions and 11 deletions
|
@ -98,20 +98,14 @@ goto:eof
|
||||||
goto:eof
|
goto:eof
|
||||||
|
|
||||||
:git_checkout
|
:git_checkout
|
||||||
|
md "%repository_path%"
|
||||||
|
set "repository_path=%repository_path%\coco"
|
||||||
|
|
||||||
call print_dashed_seperator
|
call print_dashed_seperator
|
||||||
set "git_app_path=%git_bash_path%\bin\git.exe"
|
set "git_app_path=%git_bash_path%\bin\git.exe"
|
||||||
|
|
||||||
call get_local_text github-process-ssh
|
call get_config github_url
|
||||||
call ask_question "!github_process_ssh!"
|
"%git_app_path%" clone "!github_url!" "%repository_path%"
|
||||||
|
|
||||||
if "%result%"=="true" (
|
|
||||||
call get_config github_ssh
|
|
||||||
"%git_app_path%" clone "!github_ssh!" "%repository_path%"
|
|
||||||
echo no
|
|
||||||
) else (
|
|
||||||
call get_config github_url
|
|
||||||
"%git_app_path%" clone "!github_url!" "%repository_path%"
|
|
||||||
)
|
|
||||||
|
|
||||||
goto:exit_git_setup
|
goto:exit_git_setup
|
||||||
goto:eof
|
goto:eof
|
||||||
|
|
Loading…
Reference in a new issue