def export_file()

in src/pooltool.py [0:0]


def export_file(args):
    export_file = args.file
    export_format = args.format
    settings_file = args.settings_file
    verbose = args.verbose
    profile_override = args.profile
    region_override = args.region
    pool_id = args.id

    settings = utilities.read_settings_file(args.settings_file)

    if profile_override is not None:
        settings['profile'] = profile_override
    if region_override is not None:
        settings['region'] = region_override

    # print("Exporting file")
    # print("File: "+export_file+"\nFormat: "+export_format+"\nSettings file: "+settings_file+"\nVerbose: "+str(verbose)+"\nProfile override: "+str(profile_override)+"\nRegion override:"+str(region_override))
    # print("Settings File")
    # print(settings)

    pool_data = get_pool_data(settings, pool_id, args.verbose)

    #print(json.dumps(pool_data, indent=4, default=utilities.datetime_converter))
    utilities.write_to_file(export_file, format, pool_data)