Como desabilitar um alias no bash para um único comando? [duplicado]

Question

Digamos que você deixe seu terminal aberto e um colega de trabalho apareça e digite:

alias    exit='echo nope'
alias unalias='echo nope'
alias    type='echo nope'
alias builtin='echo nope'
alias   alias='echo nope'

Como você pode executar um desses comandos mesmo assim?

    

Answer 1

O método que estou ciente de fazer isso é prefaciar o comando com uma barra invertida:

$ type type
nope type
$ \type type
type is aliased to 'echo nope'
$ unalias type
nope type
$ \type unalias
unalias is aliased to 'echo nope'
$ \unalias unalias
$ unalias type
$ type type
type is a shell builtin
$ type unalias
unalias is a shell builtin
$ 

Eu não sei onde isso está documentado, no entanto.