pastebin - collaborative debugging tool RSS

Posted by Anonymous on Sat 14th Mar 2015 20:02
raw | new post

  1. # if running bash
  2. if [ -n "$BASH_VERSION" ]; then
  3.     # include .bashrc if it exists
  4.     if [ -f "$HOME/.bashrc" ]; then
  5.         . "$HOME/.bashrc"
  6.     fi  
  7. fi
  9. # set PATH so it includes user's private bin if it exists
  10. if [ -d "$HOME/bin" ] ; then
  11.     PATH="$HOME/bin:$PATH"
  12. fi

Submit a correction or amendment below (click here to make a fresh posting)
After submitting an amendment, you'll be able to view the differences between the old and new posts easily.

Syntax highlighting:

To highlight particular lines, prefix each line with {%HIGHLIGHT}

All content is user-submitted.
The administrators of this site ( are not responsible for their content.
Abuse reports should be emailed to us at