This commit is contained in:
Joao Moreno
2017-11-24 07:59:45 +01:00
parent 89b158e11c
commit 8feee8ebb9

View File

@@ -70,10 +70,6 @@ async function _activate(context: ExtensionContext, disposables: Disposable[]):
throw err;
}
console.warn(err.message);
outputChannel.appendLine(err.message);
outputChannel.show();
const config = workspace.getConfiguration('git');
const shouldIgnore = config.get<boolean>('ignoreMissingGitWarning') === true;
@@ -81,6 +77,10 @@ async function _activate(context: ExtensionContext, disposables: Disposable[]):
return;
}
console.warn(err.message);
outputChannel.appendLine(err.message);
outputChannel.show();
const download = localize('downloadgit', "Download Git");
const neverShowAgain = localize('neverShowAgain', "Don't show again");
const choice = await window.showWarningMessage(