<@U066LC126>: You are going to make that an option...
# general
@fancy-queen-20734: You are going to make that an option? Our users don’t have perms to write to /var/run by default. Also the directory versioning will be a challenge. our jenkins builders have multiple copies of the repo checked out. We attempt to shutdown all nailguns at the end of a ci run, so usually this isn’t a problem. Our ci builders usually run for a day and are re-imaged in the morning when they come back up.