You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Actually the filetype for .dockerignore files is named Docker in UI.
See attached screenshot showing 2 competing same-named Docker entries.
The black icon is from ignore plugin while "with-D" icon is from the Docker support plugin.
The fact that the black-whale icon is actually much nicer :) probably only contributes to the confusion of the users.
In addition to UI name, the key used to store the filetype association is actually also "Docker file" which is again competing with the official Docker support plugin, see the following extract from /options/filetype.xml file:
Extracted from https://youtrack.jetbrains.com/issue/IDEA-174706
Actually the filetype for .dockerignore files is named Docker in UI.
See attached screenshot showing 2 competing same-named Docker entries.
The black icon is from ignore plugin while "with-D" icon is from the Docker support plugin.
The fact that the black-whale icon is actually much nicer :) probably only contributes to the confusion of the users.
In addition to UI name, the key used to store the filetype association is actually also "Docker file" which is again competing with the official Docker support plugin, see the following extract from /options/filetype.xml file:
The latter (the key in the options file) is more difficult to change, but UI name should be easy to fix.
Thanks
The text was updated successfully, but these errors were encountered: