2020-07-29 Ubuntuのデフォルトのお気に入り(Favorite Applications)の変更 UbuntuというよりはGNOMEの設定だが、デフォルトのお気に入り(Favorite Applications)の変更方法は以下に記載があった。 https://help.gnome.org/admin/system-admin-guide/stable/desktop-favorite-applications.html.en