Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

vscode with bsp: illegal char <:> #4371

Open
NPCRUS opened this issue Jan 19, 2025 · 6 comments
Open

vscode with bsp: illegal char <:> #4371

NPCRUS opened this issue Jan 19, 2025 · 6 comments

Comments

@NPCRUS
Copy link

NPCRUS commented Jan 19, 2025

Hello folks, I have the following issue on windows when trying to use mill with bsp in vscode,
this error appears in metals logs:

java.nio.file.InvalidPathException: Illegal char <:> at index 10: mill-build:.metals-buildtarget
    at sun.nio.fs.WindowsPathParser.normalize(WindowsPathParser.java:204)
    at sun.nio.fs.WindowsPathParser.parse(WindowsPathParser.java:175)
    at sun.nio.fs.WindowsPathParser.parse(WindowsPathParser.java:77)
    at sun.nio.fs.WindowsPath.parse(WindowsPath.java:92)
    at sun.nio.fs.WindowsFileSystem.getPath(WindowsFileSystem.java:231)
    at java.nio.file.Path.resolve(Path.java:516)
    at scala.meta.io.AbsolutePath.resolve(AbsolutePath.scala:41)
    at scala.meta.internal.metals.FileDecoderProvider$.createBuildTargetURI(FileDecoderProvider.scala:788)

seems like it was fixed sometime ago #3203 , maybe degradation?

@NPCRUS NPCRUS changed the title vscode - bsp: illegal char <:> vscode with bsp: illegal char <:> Jan 19, 2025
@He-Pin
Copy link
Contributor

He-Pin commented Jan 19, 2025

use " " to quote it?

@He-Pin
Copy link
Contributor

He-Pin commented Jan 19, 2025

@NPCRUS I Remember it know, I workaround it by rename the file name in cask.

@lefou
Copy link
Member

lefou commented Jan 19, 2025

Where is the : coming from? If it comes from a cross value then there is still some more masking needed, as said in this comment: then #3203 (comment) .

@NPCRUS
Copy link
Author

NPCRUS commented Jan 19, 2025

use " " to quote it?

@He-Pin quote what and where?

@He-Pin
Copy link
Contributor

He-Pin commented Jan 19, 2025

@NPCRUS Ouch, I remember it, I think there maybe a bug in the normalization, where in Windows it needs to be C:\\ ?
What's your mill version.

@NPCRUS
Copy link
Author

NPCRUS commented Jan 19, 2025

@He-Pin 0.12.5

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants