How do I set an environment variable in the Sage code? Actually, I want to modify how 'sage -grep' is called in search_src in sage/misc/sagedoc.py: I don't want it to print the Sage banner. One way to accomplish this is to set the variable SAGE_BANNER to be "no" before calling 'sage -grep ...', but it seems like using
cmd = 'export SAGE_BANNER="no"; sage -grep "%s"' % string r = os.popen(cmd) won't work very well if the user isn't using bash. John --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
