第二十三篇-ubuntu18.04怎么下载播放器以及如何设置默认播放器