Thanks for the info.
What I could do is to redirect the output to a text file from the terminal,
which worked fine, but I can not find a way to get it to display well in the
PowerShell terminal itself. The file reads correctly in editors. In order to
get it redirected properly, I needed to set the following parameter:
PS C:\Users\Fernando\My Projects\Nim\_Tests>
$PSDefaultParameterValues['Out-File:Encoding'] = 'oem'
Run
I never got the spaces in the redirected file, but either wrong or right
encoded characters.
I got some more info here:
<https://docs.microsoft.com/en-us/powershell/module/microsoft.powershell.core/about/about_character_encoding?view=powershell-7.2>
