@Amr, Yes. I had executed `sudo -s` previously.
I wrote incorrectly. I should have placed a '#' rather than a "$" at the start of the `apt-get` line. However, the `$ maxima` was correctly written.
@Amr, Yes. I had executed `sudo -s` previously.
I wrote incorrectly. I should have placed a '#' rather than a "$" at the start of the `apt-get` line. However, the `$ maxima` was correctly written.