関連ワード:  bash time script execution    bash time program execution    bash time script run    shell script time execution    bash get time of script execution    bash script execution time milliseconds    bash measure script execution time    bash script print execution time    linux bash script execution time