# jps configuration file # WARNING. SET THIS TO NO IF YOUR Openssh client does not know -T option. USE_SSH_TIMEOUT='yes' #default vars: JPSPROMPT="#>" ECHOLINE="echo -ne ============================================================" COLOR_A=32 COLOR_B=34 COLOR_C=31 COLOR_NORMAL=39 PRINT_NODES='no' FILE_HOST_LIST= OUTPUT="$HOME/.jps/jps.log" SERIALIZE='off' SSHUSER=`whoami` # set this to the maximum size of loaded node list. maxnode=300 TEMPO_SLICE= TEMPO_TIME= SSH_TIMEOUT=10 PRINT_SUMMARY='yes' AGGREGATE_OUTPUT='yes' STRIP_EXPLORE='yes' # # define these if you want to override $HOME/.jps/lists and $HOME/.jps/macros # #MACROS_DIR="/somepath/macros" #LISTS_DIR="/somepath/lists"