[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Toolkit on Windows 11, Files on Ubuntu under WSL 2

Windows 11, WSL 2

I was having difficulties opening specs stored on an Ubuntu drive.

Turned out the problem was \\wsl$ and \\wsl.localhost needed to be \\WSL.LOCALHOST

There were also issues with [Delete Me] specs showing up when I got it wrong, but not showing up in Spec Explorer. It took a 2nd attempt to create the spec and getting the “there’s already one here with [Delete Me]” error for it to show up in Spec Explorer. Deleting it then allowed me to try another permutation of \\xyzzy

Looks like something is case sensitive and something else is not case sensitive.

Looks like something is getting messed up by the symbolic link (or whatever) \\wsl$

Things are now working.

Toolbox version

Steve Glaser

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/abe7fe97-5c5d-4257-a701-ed30b5937ef9%40Spark.