def change_defaults(options):
    if options.username != None:
        configuration = '%s@%s' + (options.username, options.app_url)
        config.set_default(name=configuration)
        configuration = config.get_default()

    else:
        config.show()
        which = prompt('Set default configuration to: ')
        config.set_default(index=int(which))
        configuration = config.get_default()

    default_deployment(configuration['app_url'],
                       configuration['client_id'],
                       configuration['client_secret'])
dataset/ETHPy150Open jut-io/jut-python-tools/jut/commands/configs.py/change_defaults/operator `%` -> `+`