Eu descobri qual era o problema.
Eu testei meu arquivo .deb
por meio dos ciclos dos dois comandos a seguir:
-
sudo dpkg -i fman.deb
-
sudo dpkg -r fman
(equivalentemente,sudo apt-get remove fman
)
Descobri que ... -r
exclui os arquivos de configuração. Para excluir também os arquivos de configuração, é necessário usar sudo dpkg -P fman
.
Durante meus testes, devo ter excluído manualmente /etc/apt/sources.list.d/fman.list
em algum momento. Mas dpkg
(/ apt
) ainda lembrou que tinha instalado esse arquivo, então ele não foi reinstalado na próxima vez que eu fiz dpkg -i
(equivalentemente, apt-get install
).
A solução foi, portanto, chamar sudo dpkg -P fman
. Da próxima vez que eu fiz o dpkg -i fman.deb
, o arquivo fman.list
foi criado como esperado.