On Fri, 2002-08-16 at 12:12, Marcel Pol wrote: > Yes, it is. > The default /etc/urpmi/inst.list only lists kernel, not kernel-source. > I myself added kernel-source to it manually, because of not wanting to get > kernel and kernel-source get out of sync with eachother. > So the suggestion would be to add kernel-source to it as well? > I'd agree to that.
That's one way of doing it, yes. Pardon my ignorance of how inst.list works, but would this mean kernel-source would then behave the same way as kernel? i.e., it wouldn't get picked up by urpmi --auto-detect, and when installed it wouldn't remove old sources? To me this seems like the best solution. -- adamw
