ccache defaults to using one gigabyte at most. This would still be useful on slow disks as it should fit into the disk cache of today's systems, no matter how slow your network file system is. I just manually increased it to 50GB on my desktop.
On Wednesday, January 9, 2013 6:15:09 PM UTC, Nils Bruin wrote: > > Indeed, and *warn people about it*. On many multi-user systems, you > wouldn't want to use $HOME for such high-volume stuff, because it's > expensive storage (because of backups) and slow (because it's > networked). > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. 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. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
