First time here? Check out the FAQ!
answered 2020-07-07 08:29:43 +0100
This command should be written in a shell, not from inside sage.