Pengcheng Xu

icon indicating a website link https://jsteward.moe

icon company ETH Zurich icon location Zürich, Switzerland icon location PhD Student @ Systems Group, ETH Zürich 🇨🇭 [email protected] Telegram: https://t.me/jsteward

Results 31 issues of Pengcheng Xu

Cannot start metals server on macOS with remote SSH

3 comment

**Describe the bug** I'm trying to import a Mill-based project through remote SSH with Metals. Seems like the plugin locates JDK correctly and downloads all the required Maven dependencies, but...