1 コンテキスト
Code Contracts for .NET の更新が通知され、Contracts.devlab9ts.msi をダウンロード、実行後も通知が変わらない。
2 方法
- [コントロールパネル] - [プログラムのアンインストール] - [Microsoft Code Contracts (devlabs_TS) <バージョン> for .NET] - [アンインストール]
- %ProgramFiles(x86)%\Microsoft Visual Studio 12.0\Common7\IDE\Extensions\Microsoft\CodeContracts を削除する
- %ProgramFiles(x86)%\Microsoft Visual Studio 12.0\Common7\IDE\Extensions\extensions.configurationchanged を管理者権限で開き、そのまま上書き保存して更新日時を変更する（この手順により Visual Studio は次回起動時に拡張機能のデータベースを更新する）
- Visual Studio を起動して Code Contracts 拡張機能が [拡張機能と更新プログラム] ダイアログから消えたことを確認して Visual Studio を閉じる
- 新しいバージョンをインストールする
- Visual Studio を起動して新しいバージョンが [拡張機能と更新プログラム] ダイアログに表示されていることを確認する
- Uninstall Code Contracts via the control panel.
- Delete the folder C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\Extensions\Microsoft\CodeContracts.
- Touch the file C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\Extensions\extensions. configurationchanged (touching means updating it's last modified date, just open it in editor and save it without changes). This step is required so that Visual Studio rebuilds its extension database on the next start.
- Start Visual Studio and make sure the Code Contracts extension is gone from the extensions screen. Then close Visual Studio again.
- Install the new version.
- Start Visual Studio and make sure it shows the new version in the extensions screen.
