Advertisement
Guest User

Untitled

a guest
Jul 23rd, 2017
53
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.14 KB | None | 0 0
  1. #...
  2. bashrc_edit_and_reload()
  3. {
  4. ${EDITOR:-vi} "$HOME/.bashrc"
  5. . "$HOME/.bashrc"
  6. }
  7.  
  8. bind -x $'"C-e": bashrc_edit_and_reload;'
  9. #...
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement