On Tuesday, 25 August 2015 00:37:42 UTC-7, gder...@g.hmc.edu wrote: > > Hello, > > I recently downloaded the > Debian_GNU_Linux_stretch_sid_sage-6.8-x86_64-Linux.tar.gz > <http://mirrors.mit.edu/sage/linux/64bit/Debian_GNU_Linux_stretch_sid_sage-6.8-x86_64-Linux.tar.gz> > binary for my system. It looks like there's bundled source code under > the src/ directory. I'm trying to free up space on my hard disk, so I was > wondering, is it ok to delete the src/ directory if I only want to use the > binary? And are there any other files or directories I can delete without > breaking the binary? >
rather, you can delete stuff in upstream/ - these tarfiles will be downloaded if needed again. > Thank you! > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
