developers if the
above manual configuration could be omitted.
Best,
Yun
--Original Mail --
Sender:Robert Metzger
Send Date:Fri Jun 12 21:57:50 2020
Recipients:dev
Subject:Re: [DISCUSS] Update our EditorConfig file
It seems that nobody cares about the file
It seems that nobody cares about the file, as it has been basically never
touched after its creation in late 2015.
I would be fine adding the changes you are proposing to the codebase.
On Thu, Jun 11, 2020 at 4:47 AM tison wrote:
> > is anyone actually using our .editorconfig file?
>
> I
> is anyone actually using our .editorconfig file?
I think IDEA already takes this file into consideration. So far it works
well for me.
Best,
tison.
Jingsong Li 于2020年6月11日周四 上午10:26写道：
> +1 looks more friendly to Flink newbies.
>
> Best,
> Jingsong Lee
>
> On Wed, Jun 10, 2020 at 8:38 PM
+1 looks more friendly to Flink newbies.
Best,
Jingsong Lee
On Wed, Jun 10, 2020 at 8:38 PM Aljoscha Krettek
wrote:
> Hi,
>
> is anyone actually using our .editorconfig file? IntelliJ has a plugin
> for this that is actually quite powerful.
>
> I managed to write a .editorconfig file that I
Hi,
is anyone actually using our .editorconfig file? IntelliJ has a plugin
for this that is actually quite powerful.
I managed to write a .editorconfig file that I quite like:
https://github.com/aljoscha/flink/commits/new-editorconfig. For me to
use that, we would either need to update our
