equal
deleted
inserted
replaced
214 |
214 |
215 path = self.config("paths", loc) |
215 path = self.config("paths", loc) |
216 if not path and default is not None: |
216 if not path and default is not None: |
217 path = self.config("paths", default) |
217 path = self.config("paths", default) |
218 return path or loc |
218 return path or loc |
219 |
|
220 def setconfig_remoteopts(self, **opts): |
|
221 if opts.get('ssh'): |
|
222 self.setconfig("ui", "ssh", opts['ssh']) |
|
223 if opts.get('remotecmd'): |
|
224 self.setconfig("ui", "remotecmd", opts['remotecmd']) |
|
225 |
219 |
226 def write(self, *args): |
220 def write(self, *args): |
227 if self.header: |
221 if self.header: |
228 if self.header != self.prev_header: |
222 if self.header != self.prev_header: |
229 self.prev_header = self.header |
223 self.prev_header = self.header |