Guest User

Untitled

a guest
Feb 3rd, 2016
123
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. bash-4.3$ bash -c 'type echo'
  2. echo is a shell builtin
  3.  
  4. bash-4.3$ dash -c 'type echo'
  5. echo is a shell builtin
  6.  
  7. bash-4.3$ fish -c 'type echo'
  8. echo is a builtin
  9.  
  10. bash-4.3$ ksh -c 'type echo'
  11. echo is a shell builtin
  12.  
  13. bash-4.3$ mksh -c 'type echo'
  14. echo is a shell builtin
  15.  
  16. bash-4.3$ rc -c 'whatis echo'
  17. builtin echo
  18.  
  19. bash-4.3$ zsh -c 'type echo'
  20. echo is a shell builtin
  21.  
  22. bash-4.3$ yash -c 'type echo'
  23. echo: a regular built-in at /bin/echo
RAW Paste Data