AVI 파일을 열기 위한 기본 응용 프로그램을 변경할 수 없습니다

저는 Devuan ASCII(기본적으로 systemd가 없는 Debian Stretch)에서 Cinnamon을 사용하고 있습니다.

AVI 파일의 기본 플레이어를 Dragon Player에서 Gnome-MPV로 변경하려고 합니다.

그러나 이것이 가능해 보이지만 변경 후 기본 플레이어는아직드래곤 - 아무 일도 일어나지 않았습니다.

어떤 종류의 오류 메시지가 나타나면 직접 디버깅하려고 시도하지만 그럴 필요조차 없습니다. 나는 무엇을 해야 합니까?