Files
openide/getPlugins.sh
Nikita Iarychenko 7479ae6cf0 fix android repository urls
(cherry picked from commit 45ada2f8fb362df2f922986bc25c9fcc0bf23fd3)
(cherry picked from commit d45168a439)
(cherry picked from commit 1c088fca70)
(cherry picked from commit f0c8e914a8)
2026-03-12 14:08:04 +04:00

8 lines
202 B
Bash
Executable File

#!/bin/bash
if [ "$1" == "--shallow" ]; then
git clone https://gitflic.ru/project/openide/android.git android --depth 1
else
git clone https://gitflic.ru/project/openide/android.git android
fi