Bulk Rename Utility is a lightweight, easy-to-use file renamer. Effortlessly rename multiple files or folders with flexible options—minimal memory use means it runs quietly in the background.

(isaaclab) lenovo@mega:~/codes/IsaacLab$ ./isaaclab.sh -p source/standalone/tutorials/00_sim/create_empty.py (isaaclab) lenovo@mega:~/codes/IsaacLab$ ./isaaclab.sh -p ...

{"user":true,"message":"Something went wrong while trying to build the project","stack":"Error: Task ESP-IDF Build exited with code 1\n\tat /dist/extension.js:2: ...