(url: string | null)
| 33 | } |
| 34 | |
| 35 | export function setDefaultServerUrl(url: string | null) { |
| 36 | if (url) { |
| 37 | getStore().set(DEFAULT_SERVER_URL_KEY, url) |
| 38 | return |
| 39 | } |
| 40 | |
| 41 | getStore().delete(DEFAULT_SERVER_URL_KEY) |
| 42 | } |
| 43 | |
| 44 | export function preferAppEnv(userDataPath: string) { |
| 45 | const shell = process.platform === "win32" ? null : getUserShell() |