As Magic Banana says in post #13, As a relative new-comer, you'd have an easier time reinstalling Mini, than transforming a GNOME installation to a Mini, or something like it. I've been doing this a while, and would still choose this expedient option.

Reply via email to