2020-09-07 03:53:46 +0200 | received badge | ● Student (source) |
2020-09-07 01:47:27 +0200 | asked a question | removing output; splitting sagews files Is there a quick way to remove all the output from a sagews file? Also, is there a quick way to split a sagews file into two files? I am happy to use a terminal if there are commands for these jobs Thanks |