Problem:
Extension fails to start if the "aws.dev.logfile" setting returns nonsense. settings.getSection().get() is a very thin wrapper around vscode.workspace.getConfiguration(), so it doesn't have the type checking and coercion of the Settings class.
Solution:
Check the type.
License
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
Problem: Extension fails to start if the "aws.dev.logfile" setting returns nonsense.
settings.getSection().get()is a very thin wrapper aroundvscode.workspace.getConfiguration(), so it doesn't have the type checking and coercion of theSettingsclass.Solution: Check the type.
License
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.