Thank you, that helped. The files are created when doctesting
src/sage/doctest/forker.py. I've opened
https://trac.sagemath.org/ticket/34416.
On Tuesday, August 23, 2022 at 2:41:39 AM UTC-7 john.c...@gmail.com wrote:
> Whenever a pexpect interface is created, there's an optional parameter to
>
Whenever a pexpect interface is created, there's an optional parameter to
say whether or not to make a log file. The default should always be not to
do so. So we should look to see which ones may have the opposite default.
It may be something left over from a debugging session which got committed
b
On Tue, 23 Aug 2022, 01:11 John H Palmieri, wrote:
>
>
> On Monday, August 22, 2022 at 4:02:05 PM UTC-7 dim...@gmail.com wrote:
>
>>
>>
>> On Mon, 22 Aug 2022, 23:47 John H Palmieri, wrote:
>>
>>> What is the purpose of
>>>
>>> - $HOME/.sage/gap
>>> - $HOME/.sage/pexpect_logs
>>> - $HOME/.sage/c
On Monday, August 22, 2022 at 4:02:05 PM UTC-7 dim...@gmail.com wrote:
>
>
> On Mon, 22 Aug 2022, 23:47 John H Palmieri, wrote:
>
>> What is the purpose of
>>
>> - $HOME/.sage/gap
>> - $HOME/.sage/pexpect_logs
>> - $HOME/.sage/cache
>>
>> ?
>>
>> The first one currently takes 1.5GB on my machin
On Mon, 22 Aug 2022, 23:47 John H Palmieri, wrote:
> What is the purpose of
>
> - $HOME/.sage/gap
> - $HOME/.sage/pexpect_logs
> - $HOME/.sage/cache
>
> ?
>
> The first one currently takes 1.5GB on my machine, and it has a README.txt
> file that says "It is OK to delete all these cache files. Th
What is the purpose of
- $HOME/.sage/gap
- $HOME/.sage/pexpect_logs
- $HOME/.sage/cache
?
The first one currently takes 1.5GB on my machine, and it has a README.txt
file that says "It is OK to delete all these cache files. They will be
recreated as needed." So why do we keep them at all?
The
