mani_skill.utils.assets

Submodules

• mani_skill.utils.assets.data

Attributes

DATA_GROUPS	Data groups map group ids (typically environment IDs) to a list of data source/group IDs for easy group management. data groups can be done hierarchicaly
DATA_SOURCES	Data sources map data source IDs to their respective DataSource objects which contain info on what the data is and where to download it

Classes

DataSource

Functions

expand_data_group_into_individual_data_source_ids(...)	Expand a data group into a list of individual data source IDs
is_data_source_downloaded(data_source_id)

Package Contents

class mani_skill.utils.assets.DataSource

checksum: str | None = None

filename: str | None = None

name to change the downloaded file to. If None, will not change the name

github_url: str | None = None

hf_repo_id: str | None = None

output_dir: str

source_type: str

what kind of data is this

target_path: str | None = None

the folder where the file will be downloaded to

url: str | None = None

zip_dirname: str | None = None

what to rename a zip files generated directory to

mani_skill.utils.assets.expand_data_group_into_individual_data_source_ids(data_group_id)

Expand a data group into a list of individual data source IDs

Parameters:

data_group_id (str) –

mani_skill.utils.assets.is_data_source_downloaded(data_source_id)

Parameters:

data_source_id (str) –

mani_skill.utils.assets.DATA_GROUPS: dict[str, list[str]]

Data groups map group ids (typically environment IDs) to a list of data source/group IDs for easy group management. data groups can be done hierarchicaly

mani_skill.utils.assets.DATA_SOURCES: dict[str, DataSource]

Data sources map data source IDs to their respective DataSource objects which contain info on what the data is and where to download it