Closed fingolfin closed 2 years ago
Right now, this launches mkdir as a subprocess.
mkdir
Instead, use either CreateDir (from the GAP kernel, but undocumented), or the corresponding function from the IO package.
CreateDir
IO
Right now, this launches
mkdiras a subprocess.Instead, use either
CreateDir(from the GAP kernel, but undocumented), or the corresponding function from theIOpackage.