aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2022-02-10 20:24:41 +0100
committerLibravatar GitHub <noreply@github.com>2022-02-10 20:24:41 +0100
commit677fc7e3830f2ad19b556f9c851113a55c050e11 (patch)
tree604b5937380ea8f2b40551fc404fde0d573fb013 /README.md
parentMerge pull request #18 from kris7t/releng-docs (diff)
downloadrefinery-677fc7e3830f2ad19b556f9c851113a55c050e11.tar.gz
refinery-677fc7e3830f2ad19b556f9c851113a55c050e11.tar.zst
refinery-677fc7e3830f2ad19b556f9c851113a55c050e11.zip
docs: Add note about proxy settings
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index fd3389b8..dfb4685e 100644
--- a/README.md
+++ b/README.md
@@ -32,6 +32,7 @@
328. Open a new terminal an run `./gradlew prepareEclipse` (`.\gradlew prepareEclipse` on Windows) in the cloned repository. 328. Open a new terminal an run `./gradlew prepareEclipse` (`.\gradlew prepareEclipse` on Windows) in the cloned repository.
33 * This should complete without any compilation errors. 33 * This should complete without any compilation errors.
34 * If you get any errors about the JVM version, check whether the `JAVA_HOME` environment variable is set to the location of JDK. You can query the variable with `echo $JAVA_HOME` on Linux and `echo $Env:JAVA_HOME` in PowerShell on Windows. To set it, use `export JAVA_HOME=/java/path/here` or `$Env:JAVA_HOME="C:\java\path\here"`, respectively. 34 * If you get any errors about the JVM version, check whether the `JAVA_HOME` environment variable is set to the location of JDK. You can query the variable with `echo $JAVA_HOME` on Linux and `echo $Env:JAVA_HOME` in PowerShell on Windows. To set it, use `export JAVA_HOME=/java/path/here` or `$Env:JAVA_HOME="C:\java\path\here"`, respectively.
35 * If the build fails with a `Host name must not be empty` error, you [might need to remove the empty proxy configuration from your global `gradle.properties` file](https://stackoverflow.com/a/62128323).
35 36
369. Select _File > Import... > Gradle > Existing Gradle Project_ and import the cloned repository in Eclipse. 379. Select _File > Import... > Gradle > Existing Gradle Project_ and import the cloned repository in Eclipse.
37 * Make sure to select the root of the repository (containing this file) as the _Project root directory_ and that the _Gradle distribution_ is _Gradle wrapper_. 38 * Make sure to select the root of the repository (containing this file) as the _Project root directory_ and that the _Gradle distribution_ is _Gradle wrapper_.