search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
696 stars 124 forks source link

ignored files generated by script closes #91 #92

Closed AbderrahmanL closed 4 years ago

AbderrahmanL commented 4 years ago

Hello,

I moved these lines to a .gitignore under the org.alloytools.alloy.core, as i noticed you guys are doing with the other projects, I hope this was helpful more than it's distracting.

Regards.

pkriens commented 4 years ago

This is intended. It is very annoying for eclipse users to have to go to the gradle build and manually build these files.

If you work in Eclipse, you never have to touch gradle.

AbderrahmanL commented 4 years ago

I see it's worth it since eclipse is used a lot, i use vscode and command line for everything, no big deal ill ignore them in my fork there will be no conflicts ... win-win!

On Tue, Aug 20, 2019, 7:21 PM Peter Kriens notifications@github.com wrote:

This is intended. It is very annoying for eclipse users to have to go to the gradle build and manually build these files.

If you work in Eclipse, you never have to touch gradle.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/AlloyTools/org.alloytools.alloy/pull/92?email_source=notifications&email_token=AHT5RXITGPDIWCLMMRKCCYTQFQR2ZA5CNFSM4IN2ICR2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD4XBCEQ#issuecomment-523112722, or mute the thread https://github.com/notifications/unsubscribe-auth/AHT5RXPD4YY5GQK5ZG2X3Z3QFQR2ZANCNFSM4IN2ICRQ .

pkriens commented 4 years ago

Make sure the .gitignore is not in your PR's.

I understand vs code might have some advantageous features but I see a lot of people that avoid Eclipse missing out on a hell of a lot of features. I work as a consultant and I am always flabbergasted how much more time people spend in Intellij and vs code only to avoid Eclipse. The edit/debug cycle in Eclipse with bndtools is 10x faster than those environments. It might be worth to have a try ...

On 20 Aug 2019, at 22:44, AbderrahmanL notifications@github.com wrote:

I see it's worth it since eclipse is used a lot, i use vscode and command line for everything, no big deal ill ignore them in my fork there will be no conflicts ... win-win!

On Tue, Aug 20, 2019, 7:21 PM Peter Kriens notifications@github.com wrote:

This is intended. It is very annoying for eclipse users to have to go to the gradle build and manually build these files.

If you work in Eclipse, you never have to touch gradle.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/AlloyTools/org.alloytools.alloy/pull/92?email_source=notifications&email_token=AHT5RXITGPDIWCLMMRKCCYTQFQR2ZA5CNFSM4IN2ICR2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD4XBCEQ#issuecomment-523112722, or mute the thread https://github.com/notifications/unsubscribe-auth/AHT5RXPD4YY5GQK5ZG2X3Z3QFQR2ZANCNFSM4IN2ICRQ .

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/AlloyTools/org.alloytools.alloy/pull/92?email_source=notifications&email_token=AABQ6LQ7DHH75XB57SMZJV3QFRJT5A5CNFSM4IN2ICR2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD4XTHPI#issuecomment-523187133, or mute the thread https://github.com/notifications/unsubscribe-auth/AABQ6LV7A3ZDIKH5NU2ZODLQFRJT5ANCNFSM4IN2ICRQ.

AbderrahmanL commented 4 years ago

And this is what i will do, no better place to take advice, thank you!

pkriens commented 4 years ago

But please do not forget that I am rather biased as one of the primary developers of bnd(tools) :-)