backend.py: Change default lock directory.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 22 Dec 2014 20:32:58 +0000 (20:32 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 7 Apr 2015 18:54:17 +0000 (19:54 +0100)
All of the other state things end up under the working tree, so this
should too.

backend.py

index d6fac78..576486c 100644 (file)
@@ -37,7 +37,7 @@ import util as U
 CONF.DEFAULTS.update(
 
   ## A directory in which we can create lockfiles.
-  LOCKDIR = OS.path.join(ENV['HOME'], 'var', 'lock', 'chpwd'))
+  LOCKDIR = OS.path.join(HOME, 'lock'))
 
 ###--------------------------------------------------------------------------
 ### Utilities.