дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-09 19:25:54 +02:00
kevinh
9d1fe17894
Generate Request in HTTP Client (and Generate Requests for Controller, and the gutter icon) left the scratch file empty on Windows with "Cannot open file …\ai.l0ng.openidea/scratches/generated-requests.http": the scratch path joined the native app data directory (backslashes) with a /-separated suffix, so the opened editor could not be found by its path. Scratch paths now normalise the app data directory to the UI's /-separated form through a shared ipcPath helper, used by scratches, the HTTP client and Spring request generation. Co-authored-by: kevinh458 <[email protected]> 未在 Windows 实机验证。
23 рядки
983 B
TypeScript
23 рядки
983 B
TypeScript
/**
|
|
* Paths coming *into* the UI from a native API (`appDataDir()` from
|
|
* `@tauri-apps/api/path`, the file dialogs) are native strings: `C:\a\b` on
|
|
* Windows. Everything the UI stores and compares — what the backend returns
|
|
* (`IpcPath` in `crates/ide-core/src/ipc_path.rs`), the editor's `ctx.path`, the
|
|
* project tree — is `/`-separated on every OS, so such a path has to be
|
|
* converted before it is used.
|
|
*/
|
|
|
|
const DRIVE = /^[A-Za-z]:\\/;
|
|
const NETWORK = /^\\\\/;
|
|
|
|
/**
|
|
* `p` in the form the UI holds paths: `C:\a\b` and `\\?\C:\a\b` become
|
|
* `C:/a/b`, `\\server\share` becomes `//server/share`. A path that already is
|
|
* in that form — or one that is not a Windows path at all — is returned as is.
|
|
*/
|
|
export function ipcPath(p: string): string {
|
|
let path = p;
|
|
if (path.startsWith("\\\\?\\")) path = path.startsWith("\\\\?\\UNC\\") ? `\\\\${path.slice(8)}` : path.slice(4);
|
|
return DRIVE.test(path) || NETWORK.test(path) ? path.replace(/\\/g, "/") : path;
|
|
}
|