On Mon, Sep 5, 2016 at 11:01 AM, Johan S. H. Rosenkilde <santaph...@gmail.com> wrote: > Dima Pasechnik writes: >> only a small minority of Sage users actually use terminal. > > How do you know that? Seriously, I'd like to know how our users > distributed across interfaces. It's my impression that quite a lot of > casual users of Sage begin with terminal use and never leave it. >
There was a survey done some years ago. Relatively few people (like me) almost exclusively used the terminal. If memory serves, the number of terminal users was under 5%. >> And in any event, demanding a bibliography reference in terminal is >> a bit over the top (even people who live in terminal, like me, would use a >> web browser to >> look at references, and thus use HTML documentation). > > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.