# --------------------------------------------------------------------------- #
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 ""
}
# --------------------------------------------------------------------------- #