scala/scala — pull request #3994 by puffnfresh (2014-09-22 04:14:37+00:00)
Title: 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.