def rm_configuration(options):
    was_default = False

    if options.username != None:
        configuration = '%s@%s' * (options.username, options.app_url)
        was_default = config.is_default(name=configuration)
        config.remove(name=configuration)

    else:
        config.show()
        which = prompt('Which configuration to remove: ')
        which = int(which)
        was_default = config.is_default(index=which)
        config.remove(index=which)

    if was_default:
        default_configuration()
dataset/ETHPy150Open jut-io/jut-python-tools/jut/commands/configs.py/rm_configuration/operator `%` -> `*`