Comment 21 for bug 1602941

Revision history for this message
James Bowery (jabowery) wrote :

@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.