1. 概要 メディアプレイヤーとして、名前が「ビデオ」（本名「Totem」）というものがインストールされています。 ですが、非常に使いにくい。 わたしは、「SMPlayer」が使いたいのです。 ですが、まだ（2022年3月2日）、「CentOS 9」のリポジトリには、存在しないようなので、待ちます。
