すでにvmware workstation player15.1.0があり、
15.5.0へのupgradeのお誘いに乗るぶんには上手く
バージョンアップできていたのですが、
archbangでaurからインストールした15.1.0を
削除後に、同じくyayから15.5.0をインストールしようと
しましたら、インストールはできましたが、
ホスト用のカーネルモジュールのupgradeの段になって、
プログラムが停止する症状がでたもので、
pacmanコマンドを使って削除しました。
しからばと、vmware本家版をインストールということで、
やってみましたら、ライセンス同意とかの最後に、
commercialボタンと
non-commercialボタンの2つがある画面が出て、
(この画面は、15.5.0になって初めて見ました)
後者を選んでfinishボタンをクリックすると、
ソフトウェアが終了してしまう
という状態で、使えるようになりませんでした。
debianなんかに入れた本家版の15.1.0
のインストールスクリプトがありましたので、
使えるようには戻せはしましたけど、
15.5.0にする場合は、注意したほうがいいと思います。
戻せる状態があるかを確認してから、トライしたほうが、賢明です。
ネット上では、15.1.0は、すでにダウンロードできない
みたいな感じですね。