datalogs.sh File Reference

Go to the source code of this file.

Variables
	script
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null	set_variable
then usage $script< detector identifier >< run > fi case set_variable	PARAMETER
&set_variable	SOURCE
&set_variable	RUNS
set_variable	DETID
*fatal Invalid number of arguments esac set_variable DETID getDetector D $DETID O string set_variable FILENAME	$WORKDIR
	then
	SELECTOR ="source_name=$SOURCE"
fi	if [[-n"$PARAMETER"]]
then wget load	cookies

Variable Documentation

script

Initial value:

=${0##*/}

if [ -z $JPP_DIR ]

Definition at line 2 of file datalogs.sh.

then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable

Definition at line 14 of file datalogs.sh.

then usage $script<detector identifier><run> fi case set_variable PARAMETER

Definition at line 19 of file datalogs.sh.

& set_variable SOURCE

Definition at line 20 of file datalogs.sh.

& set_variable RUNS

Definition at line 21 of file datalogs.sh.

set_variable DETID

Definition at line 22 of file datalogs.sh.

* fatal Invalid number of arguments esac set_variable DETID getDetector D $DETID O string set_variable FILENAME $WORKDIR

Initial value:

{DETID}_${RUNS}${SOURCE+.}${SOURCE}.log

SELECTOR=(
    "detid=$DETID"
    "minrun=${RUNS%%-*}"
    "maxrun=${RUNS##*-}")

if [[ -n "$SOURCE"    ]]

Definition at line 27 of file datalogs.sh.

then

Definition at line 34 of file datalogs.sh.

SELECTOR ="source_name=$SOURCE"

Definition at line 34 of file datalogs.sh.

fi if[[!-f ${FILENAME}.gz]]

Definition at line 35 of file datalogs.sh.

then wget load cookies

Initial value:

=$HOME/.km3netdb_cookie                                         
        --secure-protocol=TLSv1_2                                                     
        "https://km3netdbweb.in2p3.fr/streamds/datalogstrings.txt?${(j:&:)SELECTOR}"  
        -O ${FILENAME}                                                                

    echo

    if (( $? == 0 )) && [[ `head ${FILENAME}` != "ERROR: "* ]]

Definition at line 40 of file datalogs.sh.