update_deprecations

Stream: general

[Damiano Testa]

I added support for deprecated warnings with dot-notation in the UpdateDeprecations repo.

I have done a limited amount of testing and would welcome any comments! If you want to use it in a project/mathlib, it should be enough to add

require UpdateDeprecations from git "https://github.com/adomani/UpdateDeprecations" @ "master"

to the lakefile and to run

lake update UpdateDeprecations

to get the latest version. Once that is running, lake exe update_deprecations should fix deprecations in the whole project. You can also run

lake exe update_deprecations --mods <comma-separated-paths-with-no-spaces>

to perform the replacements in only the mentioned files.

The script requires that the paths to be updated have a working cache.

[Kim Morrison]

A great candidate for lake install when it comes!