Lo he hecho y no ha resultado. Creo que la instrucción, corrígeme si me equivoco, sería: sudo apt install --reinstall dde-dock