In my /etc/apt/sources.list.d
there are a couple of files that are not listed in apt policy
. In particular, I'm on 20.04 and the names include disco
and eoan
.
Does that mean that they are not used? If so can I just delete those files, as their names do indicate that they are not up-to-date with my system?