Skip to content

Commit

Permalink
Remove dot in file extensions.
Browse files Browse the repository at this point in the history
  • Loading branch information
LesterLyu committed Feb 9, 2024
1 parent 89d7688 commit e03e910
Show file tree
Hide file tree
Showing 2 changed files with 401 additions and 401 deletions.
2 changes: 1 addition & 1 deletion iana-media-types/media-types-in-ontology.py
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ def download_and_load_csv(registry_name: str, url: str):
dct_onto.title[media_type] = [name]
if mine_type2file_exts.get(f'{registry_name}/{name}'):
# use ext[1:] to remove the dot
file_extensions = [ext[:] for ext in mine_type2file_exts.get(f'{registry_name}/{name}')]
file_extensions = [ext[1:] for ext in mine_type2file_exts.get(f'{registry_name}/{name}')]
rdfs.label[media_type] = [f"{', '.join(file_extensions)} - {registry_name}/{name}"]
else:
rdfs.label[media_type] = [f"{registry_name}/{name}"]
Expand Down
Loading

0 comments on commit e03e910

Please sign in to comment.