Faça com que o bash use o comando `time` externo em vez do shell embutido

Como faço para o bash usar o tempo binário (/ usr / bin / time) por padrão, em vez da palavra-chave shell?

which timeretorna /usr/bin/time
type timeretorna Em time is a shell keyword
execução timeestá obviamente executando a palavra-chave shell:

$ time

real    0m0.000s
user    0m0.000s
sys     0m0.000s
$ /usr/bin/time
Usage: /usr/bin/time [-apvV] [-f format] [-o file] [--append] [--verbose]
   [--portability] [--format=format] [--output=file] [--version]
   [--quiet] [--help] command [arg...]

enable -n time retorna bash: enable: time: not a shell builtin

Você pode usar o commandshell interno para ignorar o processo de pesquisa normal e executar o comando fornecido como um comando externo, independentemente de outras possibilidades (embutidos do shell, aliases, etc.). Isso geralmente é feito em scripts que precisam ser portáveis ​​entre sistemas, embora provavelmente seja mais comum usar a abreviação \(como em \rmvez de command rmou ou rm, pois, especialmente, o último pode estar associado a algo não conhecido rm -i).

$ time

real    0m0.000s
user    0m0.000s
sys 0m0.000s
$ command time
Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--quiet] [--help] command [arg...]
$ 

Isso pode ser usado com um alias, assim:

$ alias time='command time'
$ time
Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--quiet] [--help] command [arg...]
$ 

A vantagem disso, por exemplo, alias time=/usr/bin/timeé que você não está especificando o caminho completo para o timebinário, mas retornando ao mecanismo de busca de caminho usual.

O aliascomando em si pode entrar em, por exemplo, ~ / .bashrc ou /etc/bash.bashrc (este último é global para todos os usuários do sistema).

Para o caso oposto (forçando o uso do shell interno, caso haja um apelido definido), você usaria algo como builtin time, que novamente substitui o processo de pesquisa usual e executa o shell interno nomeado. A página de manual do bash menciona que isso geralmente é usado para fornecer cdfuncionalidade personalizada com uma função chamada cd, que por sua vez usa o builtin cdpara fazer a coisa real.

Há um atalho no bash para contornar as palavras-chave, sem precisar especificar um caminho ou usar outro built-in como command: Escape com uma barra invertida.

=^_^= izkata@Izein:~$ time

real    0m0.000s
user    0m0.000s
sys     0m0.000s
=^_^= izkata@Izein:~$ \time
Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--quiet] [--help] command [arg...]

Pessoalmente, acho isso mais legível e seguro, pois isso é possível:

=^_^= izkata@Izein:~$ alias command=echo
=^_^= izkata@Izein:~$ command time
time

As soluções gerais para embutidos (por exemplo, teste) são ^[1] :

• use env(todas as conchas)

  $ env test
  external test
  

• desative o builtin (somente bash e zsh):

  $ test 1 = 1 && echo "yes"
  yes
  $ enable -n test        ### for bash. Re-enable with "enable test".
  $ disable test          ### for zsh. Re-enable with "enable test".
  $ test
  external test
  

• use qualquer barra /para chamar o comando (todos os shells):

  $ test 1 = 1 && echo "yes"
  yes 
  $ ~/bin/test
  external test
  

• faça um alias (falha dentro de um script bash, exceto se shopt -s expand_aliasesfor usado):

  $ alias test='~/bin/test'             ### remove with 'unalias test'.
  $ test
  external test
  

Mas o tempo não está incorporado.

A palavra timeé uma "palavra reservada", não um comando e nem um interno. Isso permite essas soluções:

• Cite a palavra. Isso não funciona com os built-ins.
  Muitas formas de citação funcionam:, \time "time" 'time' ti\me ti"me"etc.

  $  time
  
  real    0m0.000s
  user    0m0.000s
  sys     0m0.000s
  
  $ \time
  Usage: /usr/bin/time [-apvV] [-f format] [-o file] [--append] [--verbose]
         [--portability] [--format=format] [--output=file] [--version]
         [--quiet] [--help] command [arg...]
  

  Isso é útil para ignorar um alias. Mesmo se testestiver aliasado, \testexecutará o comando PATHed (ou o interno, se não tiver sido desativado).

• Use o builtin command(isso não funciona com os built-ins):

  $ command time

• Como acima, para os built-ins, usar qualquer barra /funciona:

  $ /usr/bin/time

• Como acima para os built-ins, um alias também funciona aqui:

  $ alias time='command time'
  $ alias time='/usr/bin/time'
  

^{[1] Vamos supor que exista um executável externo ~/bin/testque imprima "teste externo". E mais: vamos assumir que ~/binestá à frente /binno PATH ativo.}

Coloque isso no seu ~/.bashrc:

alias time=/usr/bin/time

Você pode usar o enablecomando para desativar certos built-ins.

$ enable -n kill

No entanto, timeé uma palavra-chave, portanto, isso não funcionará.

$ builtin time
bash: builtin: time: not a shell builtin

Portanto, você cria um alias para substituí-lo:

$ alias time=/usr/bin/time