

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=was_default)
        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/VarMisuse@49/62 `configuration`->`was_default`