シリコンバレーに拠点をもつベンチャーキャピタルのSequoia Capital. →セコイア
はじめに お久しぶりです。生きています。 MacBook Air M2のクリーンインストールの作業メモを今後のために残すことにしました。部分的にでも、同様の作業をされる方の参考になれば幸いです（環境や条件はそれぞれ違いますので自己責任でお願いします）。 はじめに 背景 環境 準備作業 1. アプリケーション関連 2. ユーザデータ関連 3. 設定・データファイル バックアップ Sequoiaインストールディスクの準備 初期化とインストール インストール後の作業 1. 周辺機器動作確認 2. システム設定など 3. データ復元 4. ネットワーク設定 5. アプリケーションインストール・動作確認…
macOS Sequoia 15.1へのアップデートが来ていたので、喜び勇んで条件反射で入れてしまいました。 そしてネットに繋がらなくなり、あっ！そういえばESETは暫定対応だったと思い出す。 「システム設定」>「ネットワーク」>「フィルタ」を開くと、「ESET Network Protection Proxy」が黄色信号になっていますので、これを削除するとネットワークに繋がります。 ただ、その後も「サポートされていないOS」というアラートが出るので、ESETのページに従い再インストールします。 ESETのmacOS 15対応状況ページが1ヶ月振り(9月26日 → 10月29日) に更新されて…
お久しぶりになってしまいました。 暑い夏の間ちょっと数学系の話題から離れていたこともありこのブログもしばらく放置してしまいました。ぼちぼち復活していきたいと思います。 今回はすこしリハビリも兼ねて最近の私の開発環境の話です。Lean4をM1 iMac, VSCodeで使っています。M1 iMacにOSメジャーアップデートである macOS 15.0 Sequoia が降ってきましたのでそれに合わせて必要なソフトウェアを全て更新してみました。その環境でとりあえず目立った不具合はなくLean4が使えています。 アップデートした開発環境は以下のとおりです。 M1 iMac 16GB + 1TB ma…
最近は用心深くなったと思っていたのですが、MacOS 15.0 Sequoiaへのアップグレードは、うっかり軽い気持ちでやってしまいました。 とは言え何か不具合があるとしても大したことは無いだろうと高を括っていたのですが、無線LANも有線LANも繋がっているのにブラウザ等では「インターネットに接続されていない」となってにっちもさっちも行かなくなりました。 この状態になる前に、ESET Cyber Security Proの警告で「サポートされていないOS」と出たので、ESETの影響だろうと、他のPCでESETのインストーラーをダウンロードして来て、インストーラーからESETのアンインストールを…
www.apple.com
coliss.com
applech2.com
jp.techcrunch.com
www.sequoiacap.com
applech2.com
review.foundx.jp
maclalala.wordpress.com
coralcap.co
