Skip to content

Instantly share code, notes, and snippets.

@jgillis

jgillis/gist:65fb76ccf1a8862f342d9f3400a88747

Created March 2, 2021 10:16
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jgillis/65fb76ccf1a8862f342d9f3400a88747 to your computer and use it in GitHub Desktop.
Save jgillis/65fb76ccf1a8862f342d9f3400a88747 to your computer and use it in GitHub Desktop.
Download ZIP
Hack around hardcoded paths in casadi dump files
Raw
gistfile1.txt
Find and replace in casadi file:
casadi.Function('f',{x},{x},struct('dump_dir','matching_string')).save('test.casadi')
casadi.Function('f',{x},{x},struct('dump_dir','replace__string')).save('test2.casadi')
Check the difference in test and test2 to see the replacement.
Preservation of length only.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment