📄 load_wpro.sh
字号:
#!/bin/sh# This script resets waves to a profile. If $1 is present, that's the # profile used; otherwise the standard path is used. We also extract # the init file and execute it. # @(#)load_wpro.sh 1.5 6/29/93#set -xcase $# in0) profile=`find_esps_file .wave_pro "$HOME:$ESPS_BASE/lib/waves" WAVES_PROFILE_PATH` ;;1) profile=$1 ;;esactmp_pro=$HOME/.wvtmp_pro$$sed '/^#/d' $profile | sed 's/^/set all 1 /' > $tmp_proecho "shell rm -f $tmp_pro" >> $tmp_proinit_file=`egrep init_file $tmp_pro | awk '{print $5}'`#kill the existing waves panelskill_wpanels.sh#now load the new stuffsend_xwaves @$tmp_prosend_xwaves @$init_file
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -