MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity

OPENIDE #60 Fork android repository

Browse Source 
(cherry picked from commit 363ae6f566bea0b993b1a50305b870f33ccf6077)
This commit is contained in:
Nikita Iarychenko
2024-12-11 10:50:56 +04:00
parent 0a4a62b0cf
commit 9d06ee797b
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
getPlugins.bat
View File

@@ -2,7 +2,7 @@
:ParseArgs :ParseArgs
if "%~1" == "--shallow" ( if "%~1" == "--shallow" (
call git clone git://git.jetbrains.org/idea/android.git android --depth 1 call git clone https://git.haulmont.com/platform/open-ide/android.git android --depth 1
) else ( ) else (
call git clone git://git.jetbrains.org/idea/android.git android call git clone https://git.haulmont.com/platform/open-ide/android.git android
) )

4
getPlugins.sh
View File

@@ -1,7 +1,7 @@
#!/bin/bash #!/bin/bash
if [ "$1" == "--shallow" ]; then if [ "$1" == "--shallow" ]; then
git clone git://git.jetbrains.org/idea/android.git android --depth 1 git clone https://git.haulmont.com/platform/open-ide/android.git android --depth 1
else else
git clone git://git.jetbrains.org/idea/android.git android git clone https://git.haulmont.com/platform/open-ide/android.git android
fi fi