2014-05-31から1日間の記事一覧
some_command if [ $? -ne 0 ] then echo "failed to execute some_command" exit 1 fi とか毎回やるのはめんどいので、 err_handler() { echo "failed to execute '$BASH_COMMAND'" exit 1 } trap err_handler ERR some_command ... とやればいいかtrapはシ…
some_command if [ $? -ne 0 ] then echo "failed to execute some_command" exit 1 fi とか毎回やるのはめんどいので、 err_handler() { echo "failed to execute '$BASH_COMMAND'" exit 1 } trap err_handler ERR some_command ... とやればいいかtrapはシ…