-
-
Notifications
You must be signed in to change notification settings - Fork 1.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Allow for the config file to have a file extension #3203
Comments
|
@keith-hall understood, but it would make sense to add a file extension to indicate what file format it is? It is quite common for a plethora of other tools that use The benefit is immediate recognition of the format without having to set any extra I think it makes far more sense to use a default extension. Aside: Is the file format ![]() |
Well the |
@keith-hall isn't the config though really adhering to the Maybe using |
It would be nice if the file placed at
.config/bat/config
allowed for a file extension. This helps editors to automatically syntax highlight the contents, such as VS Code.I assume the language of the file is
ini
?The text was updated successfully, but these errors were encountered: