Ian Jackson <ijackson at chiark.greenend.org.uk> writes: > But ideally I would leave these config file settings somewhere where > apt won't find them unless it's told to. That way if adt-run crashes > for any reason, we wouldn't be relying on this cleanup code, and we > could remove it :-). Agreed.