課題 ウェブコンテンツをダウンロードするツールとして wget コマンドや curl コマンドが代表的だが、スクリプト実行環境でどちらが利用可能かあらかじめわからない。 このようなときはどのようにスクリプトを記述すれば良いか。 解決策 実行環境で利用でき…

はじめに 今までにいくつかの媒体でかがみの孤城を鑑賞しました。 最近鑑賞したのは米国版映画（Blu-ray）になりますが、その中でのこころの願いごとの表現が気に入ったので、他の媒体と比較して紹介します。 比較 媒体 表現 日本版映画 どうかアキちゃんを…

はじめに 購入方法 視聴しての所感 はじめに かがみの孤城が好きすぎて、米国版のBlu-rayを購入し、本日手元に到着しました。 米国での発売は2023/09/26で、その前に予約購入をしていました。 到着するまでにけっこうな日数がかかってしまいましたが、無事に…

課題 同時に複数のプロセスが処理をしてはならないクリティカルセクションを用意したい。 シェルスクリプトではどのように排他制御を実現することができるのか。 解決法 mkdir コマンドを利用する。 排他制御と mkdir コマンドには一見して関連がないように…