time sudo command
executa o time
interno do seu shell se ele tiver um, enquanto sudo time command
sempre executa o executável time
no caminho de pesquisa do programa ( $PATH
).
time sudo command
inclui o tempo gasto pelo comando sudo
, enquanto sudo time command
não.
Você deve usar sudo time command
, porque o tempo de processamento de sudo
é pequeno, mas nem sempre insignificante, e seu tempo de relógio de parede pode ser muito maior se o usuário precisar inserir uma senha.