2022-12-03から1日間の記事一覧
bash スクリプトで main を作りたい。 スクリプトファイルは、sourceで読み込まれることがある。 実行されたときだけ、sourceで読み込まれたときだけ実行したい。という希望もまた存在する。 python の場合 python の場合は、main を使って次のようにかける…
bash スクリプトで main を作りたい。 スクリプトファイルは、sourceで読み込まれることがある。 実行されたときだけ、sourceで読み込まれたときだけ実行したい。という希望もまた存在する。 python の場合 python の場合は、main を使って次のようにかける…