Server IP : 92.204.138.22 / Your IP : 3.147.28.23 Web Server : Apache System : Linux ns1009439.ip-92-204-138.us 4.18.0-553.8.1.el8_10.x86_64 #1 SMP Tue Jul 2 07:26:33 EDT 2024 x86_64 User : internationaljou ( 1019) PHP Version : 7.4.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/self/root/usr/bin/ |
Upload File : |
#!/bin/sh FILES="" MLEVEL="0" LMODE="async" FLAGS= usage='echo "usage: dotty [-V] [-lm (sync|async)] [-el (0|1)] <filename>"' if [ "x$DOTTYOPTIONS" != "x" ]; then set -- $DOTTYOPTIONS $* fi while [ "x$1" != 'x' ]; do case $1 in -V) echo "dotty version 96c (09-24-96)" FLAGS=$FLAGS" -V" shift ;; -f) shift loadfile=$1 shift ;; -lm) shift LMODE=$1 if [ "x$LMODE" != 'xsync' -a "x$LMODE" != 'xasync' ]; then $usage exit 1 fi shift ;; -el) shift MLEVEL=$1 if [ "x$MLEVEL" != 'x0' -a "x$MLEVEL" != 'x1' ]; then $usage exit 1 fi shift ;; -) FILES=`echo $FILES \"$1\"` shift ;; -*) $usage exit 1 ;; *) FILES=`echo $FILES \"$1\"` shift ;; esac done if [ "x$DOTTYPATH" != 'x' ]; then LEFTYPATH="$DOTTYPATH:$LEFTYPATH" fi CMDS="" CMDS="dotty.protogt.layoutmode = '$LMODE';" CMDS=`echo $CMDS dotty.mlevel = $MLEVEL";"` if [ "x$loadfile" != 'x' ]; then CMDS=`echo $CMDS load \("'"$loadfile"'"\)";"` fi if [ "x$FILES" = 'x' ]; then FILES=null fi FUNC="dotty.createviewandgraph" for i in $FILES; do CMDS=`echo $CMDS $FUNC \($i, "'"file"'", null, null\)";"` done leftypath=`which lefty` if [ ! -f "$leftypath" ]; then echo "dotty: cannot locate the lefty program" echo " make sure that your path includes" echo " the directory containing dotty and lefty" exit 1 fi exec $leftypath $FLAGS -e " load ('dotty.lefty'); checkpath = function () { if (tablesize (dotty) > 0) remove ('checkpath'); else { echo ('dotty: cannot locate the dotty scripts'); echo (' make sure that the environment variable LEFTYPATH'); echo (' is set to the directory containing dotty.lefty'); exit (); } }; checkpath (); dotty.init (); monitorfile = dotty.monitorfile; $CMDS txtview ('off'); "