[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [ide-dev] Survey results
|
Sven's queries only capture the users with
custom settings - the people who are *not* just using defaults. While it
is true this is only a fraction of all users, it still gives us some interesting
data about what settings Java devlopers find useful.
John
From:
Lars Vogel <lars.vogel@xxxxxxxxx>
To:
Discussions about the
IDE <ide-dev@xxxxxxxxxxx>,
Date:
12/10/2013 04:39 AM
Subject:
Re: [ide-dev]
Survey results
Sent by:
ide-dev-bounces@xxxxxxxxxxx
Hi Sven,
IMHO most users don't touch defaults, this might be the
reason why you find the default setting so often on Github.
Best regards, Lars
2013/12/10 Sven Efftinge <sven@xxxxxxxxxxx>
On Dec 9, 2013, at 5:46 PM, Mickael Istria <mistria@xxxxxxxxxx>
wrote:
On 12/09/2013 05:14 PM, Eric Moffatt wrote:
What happened to the idea of scraping
github for data ? This seemed like a great idea to me when it first came
up and may provide further insight into our users 'real' preferences.
Do you, as a user, commit your preferences to GitHub?
I may be wrong, but I don't believe GitHub repositories can give real hints
about IDE configuration.
why don't you simply go and look?
For example, at github the option 'org.eclipse.jdt.core.compiler.problem.autoboxing'
is set 14,244 times to ignore [1] (today's default),
and only 1,061 to warning [2] (the proposal) and
230 to error [3].
That's much better data than the survey, because it is
more detailed, is based on real usage, and we have seven times as much
'votes'.
And surprisingly (or not) the result is very different.
[1] - https://github.com/search?q=org.eclipse.jdt.core.compiler.problem.autoboxing%3Dignore&type=Code&ref=searchresults
[2] - https://github.com/search?q=org.eclipse.jdt.core.compiler.problem.autoboxing%3Dwarning&type=Code&ref=searchresults
[3] - https://github.com/search?q=org.eclipse.jdt.core.compiler.problem.autoboxing%3Derror&type=Code&ref=searchresults
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev