mercurial/ui.py
changeset 2731 ad4155e757da
parent 2652 e6a41cbaa260
child 2859 345bac2bc4ec
child 2944 2efa9b8aed30
equal deleted inserted replaced
2730:819485c43ce3 2731:ad4155e757da
   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