Então eu finalmente descobri que o gerenciador de arquivos é pcmanfm, e que o arquivo de configuração está em ~/.local/share/applications/mimeapps.config
, o qual eu modifiquei para me livrar das opções extras do menu
No meu pi de framboesa, eu estava tentando obter um arquivo para jogar, mas tanto o mplayer quanto o omxplayer não apareceram na lista "Outros" quando tentei associar o arquivo com os players, então eu digitei-o usando a "linha de comando personalizada". Tanto o mplayer quanto o omxplayer se recusaram a exibir o vídeo, então eu tenho o VLC.
Agora estou com:
Acho que o gerenciador de arquivos é pcmanfm, mas não consegui descobrir como remover associações de arquivos.