Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
add `string lower` and `string upper` #4080
I was working on a proof of concept implementation to support zsh style tied variables to address issue #436. But I found myself needing a way to lowercase a string. Now that we have a
This doesn't do full unicode locale-aware uppercasing:
$ string toupper "aßb" AßB
(which should be "ASSB" if the locale is de_DE.UTF-8)
This is okay (this functionality is unlikely to be used and brings with it a bunch of issues), but should probably be documented.