tree 4728865d1828e97b397edafb86296a6af994b2e9
parent 865f36f864e0dbf8d38e87bedce0fb1c4431fe40
author Tim Edwards <tim@opencircuitdesign.com> 1623011734 -0400
committer Tim Edwards <tim@opencircuitdesign.com> 1623011734 -0400

Some fixes and enhancements to the two helper scripts change_gds_string.py
and find_gds_prefix.py.  The latter script is probably useless because
running the Linux "strings" command is much faster.  The former script
can now be used with multiple string-replacement pairs in one pass, and
has the option "-verbatim" to look for exact string matches only, rather
than the usual partial string match that comes from using regsub or
the string "replace" method in python.