https://github.com/Genivia/ugrep 管理者シェルから > winget install --scope machine Genivia.ugrepコマンドラインからのアクセスは C:\Program Files\WinGet\Links\ugrep.EXE に行く。ソフトリンクだから、 ugrep.exe -> C:\Program Files\WinGet\Packag…

GnuWin32コマンドは、winget でのインストールではひとつずつインストールする。 管理者コマンドライン： winget install --scope machine GnuWin32.Which インストールすると、コマンド which が有効となる。コマンドラインからのコマンド発行で最初にアク…

インストールしたけど、「それが何であるか？」忘れてしまったアプリ。 WebEx ： 「ビデオ会議、クラウド電話、画面共有 | Webex by Cisco」だそうだ。Zoom, Google Meet しか使わないから不要。 GarageBand ： 最初から入っていたようだ → https://www.appl…

問題点が2つ。 LINEの引き継ぎがうまくいってない。 AppleIDの確認ができない。 やってみたら： 旧端末（SIM無し）のLINEをWiFi接続でアップデート。 すぐに、当該端末上のデータは全消去する旨のメッセージ。 全消去すると、新端末オンリーで閲覧可能となり…

基本用語： SIMカード〈Subscriber Identity Module〉 SIM{イジェクト}?トピン SIMロック： 廃止されたので、今は気にする必要はない。以前は面倒だった。 eSIM〈Embedded Subscriber Identity Module〉 物理的なデバイスではなくて、ソフトウェアと内部メモ…

「PC移行、最後に残った作業」の残作業： Intuitionism in Lean file:///C:/Users/m-hiyama/Work/lean-projects/Docs/Rick_Koenders___4576519___Intuitionism_in_Lean.pdf Metaprogramming in Lean 4 file:///C:/Users/m-hiyama/Work/lean-projects/Docs/Me…

値段は安くない（10万、20万はかかる）が、信用は出来そうなデータリカバリーの会社： デジタルデータソリューション株式会社 データ復旧事業部 六本木ヒルズの森タワー15F にオフィス／窓口がある。持ち込みも可能。

USBメモリ・ドライブや外付けドライブやヘロヘロ起動可能なPCにアクセスして確認したいこと： LINEの過去ログは保存できるか？ → PCで出来ることは限られている。 Downloadsフォルダの内容は保存されているか？ OneDrive/ 配下にファイルがあるか？ → USBド…

実験用（半分実用）のボード： URL: https://miro.com/app/board/uXjVLKSgrFg=/ URL+α: https://miro.com/app/board/uXjVLKSgrFg=/?share_link_id=857673275163 単なるURLだけでもアクセスできる。 Miroにログインしてない別ブラウザでアクセスると、Google…

URL https://miro.com/app/settings/teamy/〈長い番号〉/user-profile が Profile Settings 。プロファイルの Language を日本語にする。長い番号はチームを識別するIDらしい。ミロの管理はチーム単位っぽい。https://miro.com/app/settings/companyy/〈長い…

ログインがけっこう分かりにくい。 関連過去記事 アカウント・契約の操作 公開サイト 設定 関連過去記事 Obsidian Publishの契約 デジタル語彙目録:: Obsidian Publish によるWeb公開 アカウント・契約の操作 トップページ https://obsidian.md/ から Accoun…

foo/.vscode/ にプロジェクトディレクトリ foo の情報が入っているかと思ってたら違った。$env:USERPROFILE/AppData/ の下のどこかに保存しているようだ。foo/ を bar/ にリネームしたら、状態はすべて失われた。ブックマークも消去される（つうか、たぶん行…

まだ引越し完了とは言えないが、ここまでの総括。 大事な設定ファイル ブラウザ状態 教訓 大事な設定ファイル データファイルはもちろん大事なので、データ以外に関して所感を書く。ほんとに必要だと思ったのは： AutoHotkeyによるキーマップ Google日本語入…

$env:USERPROFILE のディレクトリを ~~ と書く。バックアップを見て： 旧 Download/ は、~~/OneDrive/library/Download/ にある。保存はOK。問題は、OneDrive外とのゆるい（ウォームな）同期。 旧 Pictures/ は、~~/OneDrive/libray/Pictures/ にある。保存…

$env:USERPROFILE のトップレベルファイルは無くした。サブディレクトリだけ。 ~/*.html? は無くした。 ~/*.txt はほぼ無くした。 今後は、$env:USERPROFILE/OneDrive/ のサブディレクトリを見よ！

キャノンの「写真や文書を読み込んで印刷や保存を行えるアプリケーションソフト」。おそらくプリンターに付属していたもの MP Navigator EX ダウンロード

便宜上 ~~（チルダ2つ）で ${env:USERPROFILE} を表すとする。~~\Pictures\MEmu Photo\ とか何だろう？ と思っていたが、アンドロイドエミュレータ MEmu が作ったのだろう。他に、MEmu Video\, MEmu Music\ などもある。~~\.andoroid\ もたぶん MEmuだったの…

VSCode ~~ は ${env:USERPROFILE} 、~ は ${env:HOME} ~~\.vscode\ ~~\AppData\Roaming\Code\ ~~\AppData\Roaming\Code\User\ Chrome AppData をバックアップするのは現実的ではない。

「お守りUSBメモリ」とは安心のためのバックアップUSBメモリ。作ったが： 総容量は 115.4GB、使用量は 91.9GB ファイル数 58万弱、フォルダー数 7万7千強 うち Work\ のバックアップが 51.5% 、もっと分類分割すべきだ。 .elan\ が 7.3% でデカい。不要かも…

Sota's Web Page (Backup) https://www2.biglobe.ne.jp/sota/backup.html バックアップ除外フォルダの指定が再帰的ではない！ 驚いた。foo\ を除外すると foo\* はバックアップされないが、foo\bar\* はバックアップ対象になる、という仕様。 したがって深い…

使える機能： ファイルエクスプローラ 検索 ホバープレビュー 局所および大域のグラフビュー（Interactive graph） ページの目次 バックリンク一覧 問題点： 数式がうまく表示されない： Extended MathJax 機能がない。 Dataview処理ができない。 Dataviewフ…

アカウントを作る。アカウント自体はpublishとは独立。 料金が“月ごと”と“年ごと”があるので選ぶ。$10/(Month*Site) $96/(Year*Site) 20%OFF クレジットカードで課金。 https://help.obsidian.md/Obsidian+Publish/Introduction+to+Obsidian+Publish にナビ…

大事なこと： 名前 chimaira.org も daphnia.org も、同じサーバーに向かっている。サーバーは 150.95.23.148 ひとつだけ。 以上の設定は、レジストラ web.com と Conoha の両方の登録情報、および、Conohaサーバーに設定されているSSL証明書の3つで構成され…

去年、ペイパルを事実上やめたあとで、クレジットカードへの切り替えがうまくいかなくて物凄く苦労した（よくやったよ＞自分）。が、それは記録がない。今年の作業は記録しておこう。まず、dotsterの今のURLが凄い！ https://www.web.com/dotster?brand=dots…

象手露 本体のダウンロード＆インストール the Zotero Connector for Chrome （プラグイン／拡張機能）を Arc にインストール LibreOfficeのプラグインはスキップ（使うことはない）。 Zoteroアカウント作成はスキップ（後でも出来るだろう）。

以前、プライベートな xxx/yyy/zzz を設定した記録が残っていたので、それを載せる。過去の記録で現状にあっているとは限らない。一部は現状にあわせて編集したが、ごく一部。旧「はてなダイアリー」の設定が混じっている。今気付いたが、はてな記法の星ひと…

以前、UIからの切り替えができたと思うが、今は、UIのテーマにより、あるいは全面的に“UIからの切り替え”は出来ない仕様らしい。次のURLにアクセスするとサブアカウント切り替えができる。 https://accounts.hatena.ne.jp/settings/accounts そんなに頻繁に…

3rdブログを作成したが、いくつか問題がある。 他の設定とあわせてない。最初から設定せねば。 Markdownにしたが、現状（何も設定してないから）数式は出ないし、ましてや、xyjaxが使えない。 一番下にはてな自身の広告が出る。 編集ボタンが出ない → https:…

全体的な参照URLなどは「Overleaf + pandoc」。 4年前 テンプレートとinput XeLaTeX はやめた pandoc による変換 結論 追記： LuaLaTeX 4年前 4年前にOverleafで実験したときに、次がコンパイルは通った。 \documentclass[a4paper]{bxjsarticle} \usepackage…

手順に従い、SSL証明書更新。