Я пытался перетащить переменные окружения в scala script с помощью java Iterators и/или Enumerations и понял, что Dr Frankenstein может требовать отцовство, поэтому вместо этого я взломал следующее из уродливого дерева:
import java.util.Map.Entry
import System._
val propSet = getProperties().entrySet().toArray()
val props = (0 until propSet.size).foldLeft(Map[String, String]()){(m, i) =>
val e = propSet(i).asInstanceOf[Entry[String, String]]
m + (e.getKey() -> e.getValue())
}
Например, для печати указанной среды
props.keySet.toList.sortWith(_ < _).foreach{k =>
println(k+(" " * (30 - k.length))+" = "+props(k))
}
Пожалуйста, не задавайте вопрос о полировке этого t $# d, просто покажите мне драгоценный камень scala, который, я уверен, существует для этой ситуации (например, java Properties → scala.Map), спасибо заранее; @)