windows WSLで使っているvhdxファイルのサイズを削減する
WSLで使用されているvhdxファイルのサイズを縮小する。 実行は自己の責任で 失敗しても責任は取れません。よく確認し、バックアップをとり、実行すべきです。 調べる 最初にヒットしたページのOptimize-VHDは使えない。 window...
windows
windows 
windows Windowsでスクショをどこかに格納するまでの前処理
Windowsのスクショ管理までについてのメモ ファイルサイズの削減は不可逆なので、気になる場合はサイズの削減はしないほうがいいかもしれない。 全体の流れ Windows環境における個人的に満足しているスクショ整理につながる方法をメモしてお...
windows AutoHotKeyのスクリプトの個人的メモ
AutoHotKeyのスクリプトメモ 書くまでもない小さいことだが、一応記録しておく。 変数は保持されている （当然ながら）ahkスクリプト内の一番外側にある変数はずっと保持されている: vec := #o:: { Loop 100 { v...
windows autohotkeyのスクリプトをv2対応する
autohotkeyのv2が正式リリースされていたので移行作業を行った。 移行 動いているすべてのahkファイルを停止 Windowsのアプリと機能からv1をアンインストール v2をダウンロード v2をインストール 以上の作業を順に行って、...
windows 日本語Windowsでフォントの英語名を調べる
VSCodeでのフォント指定は、英語名で行う。ついでに日本語環境でフォントの英語名の一覧を得る方法を掲載する。 概要 VSCodeでフォント名に日本語を含むフォントを指定する方法を載せるつもりだった。簡単に言えば、フォント名を英語で指定すれ...
windows オーディオファイルをpowershellスクリプトにドラッグ&ドロップでmp3に変換する
Windows上でオーディオファイルをD&Dでmp3に変換するスクリプトを作成したのでメモ 何をしたいか Windows上で、音質がそれほど重要ではないオーディオファイルを、サイズ圧縮を目的として、mp3に変換したいのです。 実際は他の方法...
windows Windows10のタスクバーを調整する
Windows10に7+ Taskbar Tweakerを導入したので、設定メモを残す。 7+ Taskbar Tweakerについて タスクバーをいろいろ調整できるソフトウェアです。ちょっと不便だなーと思うところをいい感じに設定できる素晴...
windows Windows10でスタートアップのフォルダを開く
Windows10でスタートアップのためのフォルダを開く。 結論 Windows+Rで、ファイル名を指定して実行を開く。（スタートボタンを右クリックからでも選択できる。） 実行するものとして、shell:startupを指定する。 表示され...
windows spacedesk display driver has expiredを更新でなんとかする
spacedesk Driver has expiredを解決する おきたこと タブレットをサブディスプレイにできるアプリspacedeskが有効期限が切れてるよといったメッセージが表示されて、使えなくなっていたので直しました。 具体的には...
windows 原因不明なWSL2のエラーの修復
Docker Desktop for WindowsというかWSL2が壊れたのでなんとかしたメモ 起きたこと PCの再起動後にDocker Desktop for Windowsが起動に失敗してメッセージが表示され、読んでみると、どうやらW...