# --------------------------------------------------------------------------- # function INCLUDEMDSH() { PADURL=$1 LINENUMBERS=$2 mdsh2src $PADURL } # --------------------------------------------------------------------------- # function SCION() { write2src "" write2src " $* " write2src "" } # --------------------------------------------------------------------------- # EPBASE="http://pipelines.local:9001/p" EDBASE="http://pipelines.local/etherdump" function FROM() { EDLINK=`echo $* | sed "s,$EPBASE,$EDBASE,"`.html EPNAME=`echo $* | rev | cut -d "/" -f 1 | rev` EDLINK="$EPNAME" # echo $EDLINK write2src "" write2src "$EDLINK" write2src "" } # --------------------------------------------------------------------------- #