⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 recordsession

📁 安装DDD之前
💻
字号:
#!/bin/sh## Record a session with xlab.# JAC Sept 26 1998#if [ $# -lt 1 ] || [ $# -gt 2 ] then	echo "usage: $0 test [motif]"	exitfiif test x$XLAB = xthen    XLAB=xlabfi## set up output directory#dir=`dirname $1`/xlabif (test ! -d $dir)then   mkdir $dirfi## start the xlab server (in autoexit, record mode)#$XLAB -e -r$dir/$1.xcalls 2> $dir/$1.rxlog >$dir/$1.rxlog &sleep 1## start the specified test#if test x$2 = xmotifthen   version=.motiffimake ./$1$version./$1$version -display localhost:1 2> $dir/$1.rlog > $dir/$1.rlog

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -