# [tex-live] tilde in file/folder names (again)

Karl Berry karl at freefriends.org
Wed Oct 19 23:15:12 CEST 2016

    fix this by using \protected\def~{...}  in the format so it is safe in
filenames.

Is that all we have to do?  Sounds good to me!