chiark / gitweb /
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 d6fac7832d6bf722b93cef3dadddd0def542ffd3..576486cb4f4ac1e8f41cd3fe83c60670758f060d 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.