Cope with users environments not being able to handle unicode by softening the display of characters they can't handle.
While I would ideally prefer not to have this sort of behaviour, as it can happen mid-deploy (which we cannot roll back) it's far safer that we handle these somehow than error the deploy part-way through.
This is aimed at users running under certain Windows Subsystem for Linux Operating Systems which default to a non utf-8 locale :(
Cope with users environments not being able to handle unicode by softening the display of characters they can't handle.
While I would ideally prefer not to have this sort of behaviour, as it can happen mid-deploy (which we cannot roll back) it's far safer that we handle these somehow than error the deploy part-way through.
This is aimed at users running under certain Windows Subsystem for Linux Operating Systems which default to a non utf-8 locale :(
Fixes https://github.com/PeterJCLaw/srcomp-cli/issues/9.
@sedders123 it would be great if you were able to test this somehow -- I don't really have a great way to test this full stack.