Commits on Dec 22, 2022

1. font-patcher: Sanitize output filenames …

   [why]
   The filename is determined by the font (family) name. The font name
   might include characters that are forbidden to use in filenames.
   
   [how]
   Filter output filesnames and prevent any character that is likely
   forbidden under Windows.
   Also prevent control characters.
   
   Translate Windows path separators to posix.
   
   Fixes: #632
   
   Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>

   

   Finii committed Dec 22, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 892da43
   • Browse repository at this point

   Copy the full SHA

   892da43 View commit details

   Browse the repository at this point in the history