Function getIncludedConfigFile

Extension/src/SSH/sshHosts.ts:154–177

(
    config: Configuration,
    includePath: string,
    processedIncludePaths: Set<string>,
    processedIncludeEntries: WeakSet<ConfigurationDirective>
)

}

async function getIncludedConfigFile(
    config: Configuration,
    includePath: string,
    processedIncludePaths: Set<string>,
    processedIncludeEntries: WeakSet<ConfigurationDirective>
): Promise<void> {
    let includedContents: string;
    try {
        includedContents = (await fs.readFile(includePath)).toString();
    } catch {
        getSshChannel().appendLine(localize("failed.to.read.file", "Failed to read file {0}.", includePath));
        return;
    }

    let parsedIncludedContents: Configuration | undefined;
    try {
        parsedIncludedContents = parse(includedContents);
    } catch (err) {
        getSshChannel().appendLine(localize("failed.to.parse.SSH.config", "Failed to parse SSH configuration file {0}: {1}", includePath, (err as Error).message));
        return;
    }
    await resolveConfigIncludes(parsedIncludedContents, includePath, processedIncludePaths, processedIncludeEntries);
    config.push(...parsedIncludedContents);
}

export async function writeSshConfiguration(configurationPath: string, configuration: Configuration): Promise<void> {
    configurationPath = resolveHome(configurationPath);