Remote dev isn't very good in Zed, unfortunately. For some reason they chose not to apply the local editor's settings to a remote session by default. Every remo

Remote dev isn't very good in Zed, unfortunately. For some reason they chose not to apply the local editor's settings to a remote session by default. Every remote has its own config file. Questionable choice, imo