36527 2019-04-05 21:36:34 +0300 does not recognize "time" and TIMEFORMAT 2019-05-29 14:55:46 +0300 1 1 4 Development Sisyphus sh unstable all Linux NEW P3 normal --- 1 alexey.tourbin placeholder glebfm lav ldv placeholder rider vt qa-sisyphus oldest_to_newest 180451 0 alexey.tourbin 2019-04-05 21:36:34 +0300 Мужчины, после обновления bash у меня сломался скрипт, точнее появились в нем дефекты, который скачивает и перекодирует видео с иностранных сайтов. В скрипте в частности написано: TIMEFORMAT="${I//\%/%%}: time ffmpeg: %0lR elapsed %P%% cpu"; time \ "${ffmpeg[@]}" -i $tmp-a.mp4 -r 25 -i "$4" -map 1:v -map 0:a -c:a copy \ Почему-то в вашем самосборном шелле time не распознается как особая конструкция, вместо нее всегда запускается /usr/bin/time. $ strace -f -e trace=execve sh -c 'time echo X' |grep execve execve("/usr/bin/time", ["time", "echo", "X"], 0x13fea30 /* 63 vars */) = 0 Между тем time жестко зашито в определение шелл-синтаксиса. Даже интересно, как это у вас такой битый шелл собрался. $ info bash |grep 'time .*-p' [time [-p]] [!] COMMAND1 [ | or |& COMMAND2 ] ... 180463 1 ldv 2019-04-06 02:07:11 +0300 (In reply to comment #0) > Почему-то в вашем самосборном шелле time не распознается как особая > конструкция, вместо нее всегда запускается /usr/bin/time. У нас традиционно bash собран c --disable-command-timing, примерно с 1999 года: * Tue Jul 8 1999 Thierry Vignaud <tvignaud@mandrakesoft.com> ... - disable built-in time command (incompatible with standard POSIX time command) > $ strace -f -e trace=execve sh -c 'time echo X' |grep execve Зачем этот grep? strace выводит trace в stderr. 181759 2 alexey.tourbin 2019-05-22 17:40:44 +0300 Опция противоречит документированному поведению в 'info bash'. В других дистрибутивах bash собран без этой опции. 181760 3 vt 2019-05-22 17:53:59 +0300 Я за возвращение time built-in'а в bash. 181761 4 ldv 2019-05-22 17:56:37 +0300 (In reply to comment #3) > Я за возвращение time built-in'а в bash. Только с поддержкой -f и -o из GNU time, иначе я против. 181762 5 rider 2019-05-22 18:01:26 +0300 А разве ты не можешь энфорсить запуск gnu time по пути ?