You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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>
.
Many F* tools do not work with SDX.
Specifically
FLS.COM
FCD.COM
FMALL.COM
FNET.COM
The text was updated successfully, but these errors were encountered: