سؤال

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

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

هل كانت مفيدة؟

المحلول

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}

مرخصة بموجب: CC-BY-SA مع الإسناد
لا تنتمي إلى StackOverflow
scroll top