MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-13 06:59:44 +07:00
Code Issues Packages Projects Releases Wiki Activity

OPENIDE #60 Fork android repository

Browse Source
This commit is contained in:
Nikita Iarychenko
2024-12-11 10:50:56 +04:00
parent d7b7726939
commit 7290368125
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
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 (
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
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
git clone git://git.jetbrains.org/idea/android.git android
git clone https://git.haulmont.com/platform/open-ide/android.git android
fi