Summary: | does not recognize "time" and TIMEFORMAT | ||
---|---|---|---|
Product: | Sisyphus | Reporter: | alexey.tourbin |
Component: | sh | Assignee: | placeholder <placeholder> |
Status: | NEW --- | QA Contact: | qa-sisyphus |
Severity: | normal | ||
Priority: | P3 | CC: | glebfm, lav, ldv, placeholder, rider, vt |
Version: | unstable | ||
Hardware: | all | ||
OS: | Linux |
Description
alexey.tourbin
2019-04-05 21:36:34 MSK
(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. Опция противоречит документированному поведению в 'info bash'. В других дистрибутивах bash собран без этой опции. Я за возвращение time built-in'а в bash. (In reply to comment #3) > Я за возвращение time built-in'а в bash. Только с поддержкой -f и -o из GNU time, иначе я против. А разве ты не можешь энфорсить запуск gnu time по пути ? |