📄 demos~0
字号:
#! /bin/sh# top level script for ERL demos# @(#)DEMOS 1.2 7/25/91 ERL## Called with one (optional) argument## $1 = path to directory for temporary files#set -x# check syntaxcase $# in1) # any output files go in directory specified by $1 demo_temp=$1 ;;*) demo_temp=/usr/tmp/Edemo$$ echo "no temporary directory specified, will use $demo_temp" ;;esac# create temp directory if necessary, check that it is writableif test ! -d $demo_tempthen mkdir $demo_temp > /dev/null 2>&1fitouch $demo_temp/foo.$$ > /dev/null 2>&1if test -f $demo_temp/foo.$$ then rm $demo_temp/foo.$$ else echo "$0: can't create $demo_temp or can't write in it; exiting. " exit 1fi# make sure we have full path for temp directorycur_dir=`pwd`cd $demo_tempdemo_temp=`pwd`cd $cur_dir# If we are not in the main demo directory, we try to find it # and switch to it. if test -f demo_menu then demo_dir=`pwd` else demo_dir=`get_esps_base`/newdemosfiif test ! -d $demo_dir then echo "$0: Couldn't find demo directory; exiting." exit 1fidemo_menu=$demo_dir/demo_menucd $demo_dir > /dev/null 2>&1# insert temp directory in standard demo menu filesed s%@DEMO_TEMP@%$demo_temp% $demo_menu > $demo_temp/entropic.MB# bring up main button panelmbuttons -w "Entropic Demos" -i Edemos -X0 -Y0 -q1 $demo_temp/entropic.MB &
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -