Closed philip-paul-mueller closed 3 months ago
I noticed that it would be cool if I could write sdfg.save("~/tmp/faulty.sdfg") and it would save it into my home directory, instead in a directory ./~ in some random directory.
sdfg.save("~/tmp/faulty.sdfg")
./~
I noticed that it would be cool if I could write
sdfg.save("~/tmp/faulty.sdfg")
and it would save it into my home directory, instead in a directory./~
in some random directory.