eric71 wrote:If anyone has previously tried it and can save me the time, I'd appreciate knowing how it went. if not, I'll report back when I've tried it.
Yes I have tried it here on a statler install, with a full dist-upgrade and gnome desktop manually installed after hdd install and THEN adding the source line (the same one you suggested).
Unfortunately I was unable to install the mint debian meta package due to file conflicts (wanted to install an unavailable version of gstreamer) but I was able to manually install the main mint tools (update, menu, backup, mint desktop etc) and haven't run into any problems.
I haven't actually tried to install a mint kernel yet though and with the above conflicts I think it can be considered more as debian with mint tools rather than debian mint.
Actually, the mint debian repo doesn't seem to contain a mint kernel but a couple of packages do point to specific kernel version which DOES install with no problems.
The gstreamer problem is specifically plugins-really-bad which is nonexistent (I did try adding the debian-multimedia repo just in case).