I'm a linux user and I've succesfully installed CyanogenMod 10 on my Galaxy Mini.
Here is the followed step:
- Using Odin in Virtualbox (windows guest) in Linux
- Install Gingerbread 2.3.6. Useless, but required for me to get the lastest ClockWorkmod running.
- Install CyanogenMod 10 for Samsung Galaxy Mini