Число Awk printf по ширине и округляет в большую сторону его
В zsh можно сделать это с глобальным псевдонимом:
alias -g -- -mthreads=-pthread
Но если необходимо придерживаться удара, сделайте функцию оболочки для фильтрации аргументов, как @Kyle Jones объяснил.
Наша опция формата состоит из двух частей:
3[1134043]: выход значений будет дополнен 3 символами..0f[1134045]: выход значений не будет иметь точности, значение округлено.
В [1133686]man awk[1133687]: более подробная информация:
Если вам нужны дополнительные трейлинговые цифры, просто измените точность.[1133333].
awk использует sprintf под ним, и он делает беспристрастное округление, поэтому в зависимости от вашей платформы, если вы хотите, чтобы он всегда вокруг, вам может потребоваться использовать что-то вроде этого:
awk "начать {x + = (5/2); printf ('%. 0f', (x == int (x))? X: int (x) +1)} "
Не осознает, что это может привести к тонким, но противным ошибкам.