-
Notifications
You must be signed in to change notification settings - Fork 667
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Append or not append a hash string to the name of a file when to_xml_string()
is called
#496
base: main
Are you sure you want to change the base?
Append or not append a hash string to the name of a file when to_xml_string()
is called
#496
Conversation
…n they are registered to mujoco's vfs
Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA). View this failed invocation of the CLA check for more information. For the most up to date status, view the checks section at the bottom of the pull request. |
to_xml_string()
is called and the file is registered to VFS
to_xml_string()
is called and the file is registered to VFSto_xml_string()
is called
Thanks for this!
|
Hopefully @saran-t will get to this soon. |
To deal with issue #483 without editing the source code locally, allow users to select to add a hash string after the name of a file when it is registered to VFS by specifying an optional boolean argument
filename_with_hash
. Sample usage can be found here.