mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
[docs] update README.md to mention how getPlugins script should be invoked
(https://github.com/JetBrains/intellij-community/pull/2030) GitOrigin-RevId: 712d3c7ccc36eca96329cc3a7887b8907a9c43a9
This commit is contained in:
committed by
intellij-monorepo-bot
parent
c6092b293c
commit
d2928e8c36
@@ -22,7 +22,7 @@ _**On Windows:**_ Two git options are required to check out sources on Windows.
|
|||||||
* `git config --global core.autocrlf input`
|
* `git config --global core.autocrlf input`
|
||||||
|
|
||||||
IntelliJ IDEA Community Edition requires additional Android modules from separate Git repositories. To clone these repositories,
|
IntelliJ IDEA Community Edition requires additional Android modules from separate Git repositories. To clone these repositories,
|
||||||
run one of the `getPlugins` scripts located in the `<IDEA_HOME>` directory. These scripts clone their respective *master* branches.
|
run one of the `getPlugins` scripts located in the `<IDEA_HOME>` directory. These scripts clone their respective *master* branches. Make sure you are inside the `<IDEA_HOME>` directory when running those scripts, so the modules get cloned inside the `<IDEA_HOME>` directory.
|
||||||
* `getPlugins.sh` for Linux or macOS.
|
* `getPlugins.sh` for Linux or macOS.
|
||||||
* `getPlugins.bat` for Windows.
|
* `getPlugins.bat` for Windows.
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user