|
Lines 1-6
Link Here
|
| 1 |
--- bin/sbt.orig 2013-08-28 10:14:39.000000000 +0200 |
1 |
--- bin/sbt.orig 2016-10-30 10:52:10.050293000 +0100 |
| 2 |
+++ bin/sbt 2013-08-28 10:16:02.000000000 +0200 |
2 |
+++ bin/sbt 2016-10-30 10:53:30.346273000 +0100 |
| 3 |
@@ -63,7 +63,7 @@ |
3 |
@@ -62,7 +62,7 @@ |
| 4 |
|
4 |
|
| 5 |
declare -r noshare_opts="-Dsbt.global.base=project/.sbtboot -Dsbt.boot.directory=project/.boot -Dsbt.ivy.home=project/.ivy" |
5 |
declare -r noshare_opts="-Dsbt.global.base=project/.sbtboot -Dsbt.boot.directory=project/.boot -Dsbt.ivy.home=project/.ivy" |
| 6 |
declare -r sbt_opts_file=".sbtopts" |
6 |
declare -r sbt_opts_file=".sbtopts" |
|
Lines 9-20
Link Here
|
| 9 |
declare -r win_sbt_opts_file="${sbt_home}/conf/sbtconfig.txt" |
9 |
declare -r win_sbt_opts_file="${sbt_home}/conf/sbtconfig.txt" |
| 10 |
|
10 |
|
| 11 |
usage() { |
11 |
usage() { |
| 12 |
@@ -98,7 +98,7 @@ |
12 |
@@ -99,7 +99,7 @@ |
| 13 |
SBT_OPTS environment variable, if unset uses "$default_sbt_opts" |
13 |
SBT_OPTS environment variable, if unset uses "$default_sbt_opts" |
| 14 |
.sbtopts if this file exists in the current directory, it is |
14 |
.sbtopts if this file exists in the current directory, its contents |
| 15 |
prepended to the runner args |
15 |
are prepended to the runner args |
| 16 |
- /etc/sbt/sbtopts if this file exists, it is prepended to the runner args |
16 |
- /etc/sbt/sbtopts if this file exists, it is prepended to the runner args |
| 17 |
+ ${sbt_home}/etc/sbtopts if this file exists, it is prepended to the runner args |
17 |
+ ${sbt_home}/etc/sbt/sbtopts if this file exists, it is prepended to the runner args |
| 18 |
-Dkey=val pass -Dkey=val directly to the java runtime |
18 |
-Dkey=val pass -Dkey=val directly to the java runtime |
| 19 |
-J-X pass option -X directly to the java runtime |
19 |
-J-X pass option -X directly to the java runtime |
| 20 |
(-J is stripped) |
20 |
(-J is stripped) |