equal
deleted
inserted
replaced
130 def clone(orig, ui, source, *args, **opts): |
130 def clone(orig, ui, source, *args, **opts): |
131 pool = ui.config('share', 'pool', None) |
131 pool = ui.config('share', 'pool', None) |
132 if pool: |
132 if pool: |
133 pool = util.expandpath(pool) |
133 pool = util.expandpath(pool) |
134 |
134 |
135 opts[r'shareopts'] = dict( |
135 opts[r'shareopts'] = { |
136 pool=pool, |
136 'pool': pool, |
137 mode=ui.config('share', 'poolnaming', 'identity'), |
137 'mode': ui.config('share', 'poolnaming', 'identity'), |
138 ) |
138 } |
139 |
139 |
140 return orig(ui, source, *args, **opts) |
140 return orig(ui, source, *args, **opts) |
141 |
141 |
142 def extsetup(ui): |
142 def extsetup(ui): |
143 extensions.wrapfunction(bookmarks, '_getbkfile', getbkfile) |
143 extensions.wrapfunction(bookmarks, '_getbkfile', getbkfile) |