Revision 8bd5c7b3fc8c57489e8988f75d262a0950eb47af authored by Pranav Gokhale on 02 February 2018, 17:10:51 UTC, committed by Pranav Gokhale on 05 February 2018, 01:35:47 UTC
Co-authored-by: Adam Holmes <ah744@cornell.edu>
1 parent 81015b7
Raw File
source_me
/bin/bash rkqc > /dev/null 2> /dev/null

if [ "$?" == "0" ]
then
  echo
  echo "It looks like \"rkqc\" is already in your \$PATH (possibly from a previous installation)."
  echo "Remove the old \"rkqc\" executable from your \$PATH, then source \"source_me\" one more time."
  echo
  echo
else
  export RKQC_PATH=$(pwd)/rkqc
  export PATH=$PATH:$RKQC_PATH
fi

back to top