![]() |
|
|||
Warning, file /irt/environ.sh was not indexed or was modified since last indexation (in which case cross-reference links may be missing, inaccurate or erroneous).
0001 #!/bin/bash 0002 # set env vars, for convenience 0003 0004 # add ./bin and ./bin/install to PATH 0005 if [ -z "${BASH_SOURCE[0]}" ]; then wd=$(dirname $(realpath $0)) 0006 else wd=$(dirname $(realpath ${BASH_SOURCE[0]})); fi 0007 PATH=$PATH:$wd/bin 0008 #PATH=$PATH:$wd/install/bin # (instead using prefix $ATHENA_PREFIX) 0009 export PATH 0010 0011 # source detector and juggler environment 0012 source /opt/detector/setup.sh
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |
![]() ![]() |