Hi, Christoph Thiel schrieb: > Right, I think I'll remove it from distro.py and just change the default > instead. Hm, it is possible to leave it in distro.py, but change it in such a way that it sets the option only if it's not already set? That would be "cleaner" IMHO. Don't know if it's possible. Andreas Hanke