SDX and F* tools

[schlutech]

Many F* tools do not work with SDX.

Specifically

FLS.COM

1. The help information does not show proper formatting
2. Directories cannot be browsed
3. Network tnfs often fails to browse even top level

FCD.COM

1. Same problem with directories

FMALL.COM

1. Doesn't seem to work

FNET.COM

1. Doesn't seem to work

[tschak909]

FCD is fundamentally broken, and will be removed temporarily from future fnc-tools builds. FMALL has been fixed (you were probably being bit by the non-existant TNFS server mount bug) FLS really needs FCD to be useful, but I will try to fix the help. I will check FNET. -Thom

…

On Sun, Dec 27, 2020 at 3:05 PM schlutech ***@***.***> wrote: Many F* tools do not work with SDX. Specifically FLS.COM 1. The help information does not show proper formatting 2. Directories cannot be browsed 3. Network tnfs often fails to browse even top level FCD.COM 1. Same problem with directories FMALL.COM 1. Doesn't seem to work FNET.COM 1. Doesn't seem to work — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#10>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAVBYZRR754SGZKHOC5GEXLSW6ORTANCNFSM4VLGGD6Q> .