PolyspaceAccess のアンインストール

1. "Cluster Admin" エージェントが実行中であることを確認します。次のコマンドを使用します。

   docker stats --no-stream

   コマンド出力の NAME 列に admin がリストされていない場合は、admin-docker-agent バイナリを開始します。

2. [Cluster Admin] Web インターフェイスを開いて [Stop Apps] をクリックします。アプリを停止すると、ステータス インジケーターの色がグレーに変わり、インジケーターの横に "インストールされていません" というテキストが表示されます。

   "Polyspace Access データベース" サービスを停止して Polyspace^® Access™ をアンインストールしても、データ ボリュームからデータベースにアップロードした結果は消去されません。

   1. データ ボリュームとそのコンテンツを削除するには、データベースを保存したフォルダーを手動で削除します。

      sudo rm -rf databaseFolderPath

      databaseFolderPath は、Cluster Admin の [Cluster Settings] で、[Polyspace Access Database] サービスの [Data volume] フィールドに指定したフォルダー パスです。たとえば /local/Polyspace/R2025b/appdata/polyspace-access/db です。

      [Data volume] フィールドにフォルダー パスではなくボリューム名 (例: polyspace-data) を指定した場合は、以下のコマンドを使用してボリュームを削除します。

      docker volume rm polyspace-data

3. コマンド ライン ウィンドウで "CTRL+C" を押して admin-docker-agent バイナリを停止してから、残りのサービスを停止します。

   docker stop gateway \
   polyspace-access \
   issuetracker \
   usermanager

   このコマンドを Windows^® PowerShell で使用するには、バックスラッシュ "\" 文字をバッククォート " ` " に置き換えます。

4. PolyspaceAccess インストール フォルダーを削除します。