def do_save(filename): #make sure the file extension is .xpra if os.path.splitext(filename)[-1] != ".xpra": filename += ".xpra" save_config(filename, self.config, self.config_keys, extras_types=LAUNCHER_OPTION_TYPES)
def do_save(filename): save_config(filename, self.config, self.config_keys, extras_types=LAUNCHER_OPTION_TYPES)
def do_save(filename): save_config(filename, self.config, self.config_keys)
def do_save(filename): save_config(filename, self.config, self.config_keys, extras={"ssh_port": int})
def do_save(filename): save_config(filename, self.config, self.config_keys, extras={"ssh_port" : int})