full emulation of git filename escaping
authorJoey Hess <joeyh@joeyh.name>
Fri, 7 Apr 2023 21:12:55 +0000 (17:12 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 7 Apr 2023 21:17:31 +0000 (17:17 -0400)
commitc5b017e55b33b51c611b463e8e11de18eb34d4e4
tree441a66aba6ea44f3b8eaeeec6df63e0393f35536
parentd9b6be7782a4a90fdf5a62bc35fa3c97137e1f3e
full emulation of git filename escaping

Not yet used, but the plan is to make git-annex use this when displaying
filenames similar to how git does.

Sponsored-by: Lawrence Brogan on Patreon
Git/Filename.hs
doc/todo/terminal_escapes_in_filenames.mdwn