On Wednesday, October 28, 2015, Volker Braun <vbraun.n...@gmail.com> wrote:
> zeromq is a standard package; which command are you running? > > sage -I csdp > Command-line tools shouldn't ask stupid questions, this totally defeats > the use of the commandline UI as building blocks for writing scripts. I > said that before but it nobody is listening ;-) > > You are right! > > > On Wednesday, October 28, 2015 at 11:55:27 PM UTC+1, William wrote: >> >> How do I make it so that "sage -i <experimental package>" doesn't >> interactively ask this question? >> >> =========================== WARNING =========================== >> │ZEROMQ=zeromq-4.0.5 >> You are about to download and install an experimental package. >> This probably won't work at all for you! There is no guarantee >> that it will build correctly, or behave as expected. >> Use at your own risk! >> =============================================================== >> │salvus@compute5-us:~$ >> Are you sure you want to continue [Y/n]? >> >> -- >> >> I tried things like >> >> sage -i --help >> sage --help >> >> etc. Of course I could figure this out by diving into the source... >> >> -- William >> > -- > 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 > <javascript:_e(%7B%7D,'cvml','sage-devel%2bunsubscr...@googlegroups.com');> > . > To post to this group, send email to sage-devel@googlegroups.com > <javascript:_e(%7B%7D,'cvml','sage-devel@googlegroups.com');>. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- Sent from my massive iPhone 6 plus. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
