hgext/factotum.py
changeset 33242 037c5c937602
parent 33241 21b568820a3c
child 33243 a9524aea7cab
--- a/hgext/factotum.py	Fri Jun 30 03:42:12 2017 +0200
+++ b/hgext/factotum.py	Fri Jun 30 03:42:13 2017 +0200
@@ -70,6 +70,9 @@
 configitem('factotum', 'executable',
     default='/bin/auth/factotum',
 )
+configitem('factotum', 'mountpoint',
+    default='/mnt/factotum',
+)
 
 def auth_getkey(self, params):
     if not self.ui.interactive():
@@ -137,6 +140,6 @@
     global _executable
     _executable = ui.config('factotum', 'executable')
     global _mountpoint
-    _mountpoint = ui.config('factotum', 'mountpoint', '/mnt/factotum')
+    _mountpoint = ui.config('factotum', 'mountpoint')
     global _service
     _service = ui.config('factotum', 'service', 'hg')