Makefileとmakeコマンドについて説明します。 概要 Makefileは一連のコマンドをまとめて実行するためのものです。 Makefileという名前のファイルがあるディレクトリでmakeコマンドを実行すると、Makefileに書かれたコマンドが実行されます。 ファイル名はMak…

日時と時刻は、dateコマンドを使うと表示されます。 $ date Thu Aug 1 14:49:44 JST 2019 date +"[表示形式]" とすると、自由な形式で表示することができます。 $ date +"[%Y-%m-%d %H:%M:%S]" [2019-08-01 14:45:57] $ date +"[%m月%d日]" [08月01日]