Guest User

Untitled

a guest
Mar 20th, 2018
76
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.32 KB | None | 0 0
  1. type _precmd_function_domore
  2.  
  3. _precmd_function_domore is a shell function from /usr/local/etc/zshrc.d/80-PetaLinux
  4.  
  5. PS4='+%x:%I> ' zsh -x 2> >(grep precmd_func)
  6.  
  7. $ grep -n precmd ~/.zshrc
  8. 192:precmd_foo() echo foo
  9. $ (PS4='+%x:%I> '; set -x; precmd_foo)
  10. +zsh:2> precmd_foo
  11. +/home/stephane/.zshrc:194> echo foo
  12. foo
Add Comment
Please, Sign In to add comment