/bin/sh
в Cygwin, скорее всего, это символическая ссылка на bash, в Debian — на тире. В bash time
— это ключевое слово, которое может действовать в командных строках оболочки. У Dash нет эквивалента, а time
— это просто внешнее /usr/bin/time
, и оно не действует на том же уровне, что и ключевое слово time
, поэтому его нельзя использовать в группах команд.
Используйте /bin/bash
для вашего шебанга, если вы собираетесь использовать башизмы, такие как ключевое слово time
.