2023年10月1日日曜日

Windows 10 のレジストリ エディターはひと味違うぜ!

レジストリ エディターとは、Windows の設定情報を保存するデータベースであるレジストリを編集するためのツールです。レジストリエディターを使用することで、Windows の動作に関するさまざまな設定を変更することができます。

レジストリエディターは、Windows の標準機能として提供されています。通常、プログラムのインストールやアンインストール、システムの設定変更などを行う場合に使用されます。

レジストリエディターは、レジストリの階層構造を参照しながら、各キーの値を変更します。レジストリのキーは、Windows の各機能やアプリケーションに関する情報を保存しています。例えば、デスクトップのアイコンの表示方法、ウィンドウのサイズや位置、インターネット接続の設定などが保存されます。

2023年9月16日土曜日

2023年9月1日金曜日

独自の Windows10 プログラムランチャーを作ろう!

実行すると一斉に指定のフォルダーを開いたり、複数のプログラムを起動するランチャーを Windows の標準機能だけで実現します。

  1. メモ帳を開き以下を入力

    start notepad
    start explorer
  2. launcher.bat など、拡張子を .bat にして保存します。

  3. launcher.bat をダブルクリックで実行すると メモ帳とエクスプローラーが開きます。

2023年8月16日水曜日

2023年8月1日火曜日