2019-09-18から1日間の記事一覧
たとえば「15分後にリマインド」というタイトルを持つ cmd.exe を殺したい場合。 結論 解説 アプローチ コマンドラインを組み立てる 参考 結論 以下のようになる。 for /f "tokens=2" %A in ('tasklist /v ^| findstr /i "15分後にリマインド"') do taskkill…
まずは 公式のプロファイル移行手順 に従ってデータを丸々移して、Firefox を新たなプロファイルで立ち上げる。この後の話。 ダウンロード先の修正 自動プロキシースクリプトの修正 ローカルに置いたファイル(file プロトコル)を読めるようにする (余談) プ…
前提 環境 作業方針 1: IP アドレスの付与 2: PC の配置 3: old pc から new pc に繋ぐ 4: new pc 設定(必須) a) 会社マニュアルに従い new pc をセットアップ b) Windows Update を適用 c) セキュリティソフトの設定カスタマイズ 5: new pc 設定(オレオレ) …
特定のウェブページを Markdown で書いてる文章中で引用したい場合、いちいち [タイトル](URL) を手作業で書くのはだるい。 なので拡張機能 Format Link を使って、右クリから一発コピーできるようにしたのだけど、もうひとつ問題が起きた。 GitHub Pages (…
Intro - docSkimmer theme 緑基調でスッキリしてて一目見て気に入ったので、導入してみることに。 前提 インストール テンプレートの入手 mkdocs.yml の設定 ビルド 感想 前提 Windows 10 MkDocs 1.0.4 Python 3.7.4 インストール テンプレートの入手 pip は…
最近 Windows 10 1809 をがっつり使い始めたのだが、たまによくわからない機能が発動してびっくりする。せっかくなので全部調べておいた。 Windows ショートカットキーの一覧 キー 機能 a Action center / アクションセンターを開く(サイドバー) b ? / タス…
普段は等幅フォントが使いたいが、一時的にプロポーショナルフォントできれいに表示したいという場合がある。いちいち設定画面から切り替えるのはだるいのでマクロをつくった。 マクロ $defaultFont = "MS ゴシック"; $readableFont = "メイリオ"; $curren…