A script to convert ASCII STL to binary STL

stl_converter.py

#!/usr/bin/env python3
import trimesh
from fire import Fire
from typing import Optional

import numpy as np

def convert_and_scale_stl(*, in_stl_path: str, out_stl_path: str, scale: Optional[float] = None):
    mesh = trimesh.load(in_stl_path)

    # Apply scale, if requested
    if scale is not None:
        mesh.apply_scale(scale)

    with open(out_stl_path, 'wb') as fh:
        mesh.export(out_stl_path)


if __name__ == "__main__":
    Fire(convert_and_scale_stl)