Frage

JRebel is writing a log file to {user.home}/.jrebel

How can I change this location, or the value of {user.home} ?

War es hilfreich?

Lösung

It is possible to change the log file location by setting rebel.log.file=... in ~/.jrebel/jrebel.properties

A JREBEL_HOME environment variable can be set to change the value of {user.home}

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow
scroll top