更换Gnome默认文件浏览器

https://www.gauthampdas.com/blog/tech/linux/resetting-default-file-manager-in-gnome