On 2015-12-08 00:19, Xinyue Lu wrote: > I spend some time investigating this issues. > > It turns out glx-alternative-{...} is not installed. That's why when I > remove glx-diversions the file went back.
How did you get into this situation in the first place? > $ sudo aptitude install glx-diversions --without-recommends It that is the only way to reproduce this, I won't consider this as a bug. Andreas