Has anyone tried upgrading their OS from Ubuntu 16.04 to Ubuntu 18.04?
I'm wondering if this is a bad idea, or if there are any pitfalls to avoid.
Also, any thoughts on which should come first -- upgrading WeBWorK, or upgrading the OS?
Before the semester gets underway next week, it would be nice if we could upgrade to WW 2.14 running on Ubuntu 18.04.
We'd rather not do a clean install, since people will want to keep their data from last term. Also, an upgrade can be done remotely. (Our server isn't convenient to access physically.)