However this left stuff in /etc/splashy/themes/default, which might cause problems if I later want to reinstall splashy (which I never managed to make work, BTW). "rm -rf /etc/splashy" should allow for a fresh start though...
Jérémie -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
