＠IT Tips：バッチ・ファイル中で日付をファイル名に使用する
バッチファイル中で、数字や時刻などをファイル名として使いたい バッチファイルの中で、日付や時間をベースにしたファイル名のファイルを作成し、そこに結果を保存したいといった場合は意外と多いだろう。 例えば、システムデータやユーザーファイルをバックアップし、バックアップ先のフォルダやファイル名に、その日の日付を反映した名前を付けたいといった場合である。例えば、「systemconfig-20221221」「user1-20230501」などと付ければ、いつバックアップしたかすぐ分かるだろう。 本Tech TIPSでは、バッチファイル内で日付と時刻の情報を取得して、ファイル名やフォルダ名として利用するためのテクニックを紹介する。鍵となるのは「date」「time」という変数の扱い方である。 まずバッチファイルの基本から知りたいなら、Tech TIPS「Windowsのバッチファイルの基本的な使い方
Windowsの時刻同期でエラーになるのをなんとかしてみる
Windows Serverの時刻同期、どうしていますか？ Windowsですので、GUIで気軽に設定できるのは魅力ですが、細かいところが設定できなかったり罠っぽいところがあります。 通常の使用では問題にならないかもしれませんが、時刻同期に比較的シビアさを要求されて、さてどうしようとなることがあります。 この課題を解決してみました。 いつもの時刻同期 まず、AWSのWindows Serverのタイムゾーンは世界標準時（UTC）になっています。 気に入らないとなれば、日本時間（JST）に変更します。 これを こんな感じに。 続いて、下図のようにNTPサーバの指定を変えたりして時刻同期を取れるようにするわけですが、 こちらの時刻同期は１週間に一度の頻度で、しかもこれに失敗してもリトライしないようで、下手をするとどんどん時刻がずれていきます。 これを何とかするのが、今回のお題となります。 用意
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
