diff options
author | Brian McKenna <brian@simpleenergy.com> | 2014-09-21 22:12:13 -0600 |
---|---|---|
committer | Brian McKenna <brian@simpleenergy.com> | 2014-09-22 07:07:27 -0600 |
commit | 48caed547f364d7253eafa07839397c762a8796f (patch) | |
tree | d5d998de0632fc2964c3922bc91ef55c16730aef /src/compiler | |
parent | 379dbb0f6aa1d2d1233771a2dccec6c2dc584222 (diff) | |
download | scala-48caed547f364d7253eafa07839397c762a8796f.tar.gz scala-48caed547f364d7253eafa07839397c762a8796f.tar.bz2 scala-48caed547f364d7253eafa07839397c762a8796f.zip |
Make compiler.properties fall back to prefixed
Previously, if we wanted to override the shell.prompt property, we had
to modify compiler.properties in the jar. This change lets us do the
following, instead:
scala -Dscala.shell.prompt="$(echo -e "\npuffnfresh> ")"
All properties previously loaded from compiler.properties now fall back
to "scala." in the system properties when not found.
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/Properties.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Properties.scala b/src/compiler/scala/tools/nsc/Properties.scala index 59fefba954..bec686ec05 100644 --- a/src/compiler/scala/tools/nsc/Properties.scala +++ b/src/compiler/scala/tools/nsc/Properties.scala @@ -11,7 +11,7 @@ object Properties extends scala.util.PropertiesTrait { protected def propCategory = "compiler" protected def pickJarBasedOn = classOf[Global] - // settings based on jar properties + // settings based on jar properties, falling back to System prefixed by "scala." def residentPromptString = scalaPropOrElse("resident.prompt", "\nnsc> ") def shellPromptString = scalaPropOrElse("shell.prompt", "\nscala> ") def shellInterruptedString = scalaPropOrElse("shell.interrupted", ":quit\n") |