On Tue, 24 Apr 2018, Dima Pasechnik wrote:
did you try copying the whole ~/.sage/ directory over?
I am quite sure that it would work.I was actually hoping that this could be a spring cleaning -- mail to everyone about the new server, and instructions on how to copy worksheet(s).
There is no easy way in SageNB to handle users, like grouping them to courses and deleting accounts that are not marked as being "staff"-group etc. Even deleting a user does not delete worksheets.
-- Jori Mäntysalo
