bug(cli): Prefer IPv4 dns resolution by default. (#5338)

This commit is contained in:
joshualitt 2025-08-01 12:30:39 -07:00 committed by GitHub
parent 9382334a5e
commit 67d16992cf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 108 additions and 1 deletions

View file

@ -38,6 +38,8 @@ export function getSystemSettingsPath(): string {
}
}
export type DnsResolutionOrder = 'ipv4first' | 'verbatim';
export enum SettingScope {
User = 'User',
Workspace = 'Workspace',
@ -110,6 +112,7 @@ export interface Settings {
disableAutoUpdate?: boolean;
memoryDiscoveryMaxDirs?: number;
dnsResolutionOrder?: DnsResolutionOrder;
}
export interface SettingsError {