On Mon, 8 Dec 2014, Vincent Delecroix wrote:

Saying that some others do that is not an argument (should I recall
the code of conduct ;-). More seriously why if sage is used for a web
service? or just run in background for some reason? You should not
expect that a software is run by someone even if most of the time this
is true.

If you add

if randint(0,99) == 0:
   annoying_pop_up()

in the startup, then it will affect 1% of the starting of sage. I
guess that I launch sage hundred times a day.

I mean that 1% of users would _even_ see the question. Sorry for not making this clear. I.e.

if randint(0,99) == 0:
    if not file_exists('.no-user-survey'):
        annoying_pop_up()
make_file('.no-user-survey')

Is it really impossible to see if Sage is used interactively or not?

--
Jori Mäntysalo

Reply via email to