📄 head_search
字号:
#======================================================================if ($# != "7") then echo "USAGE: head_search dir list scalesfile eigdir ev_lo ev_hi headsearch" exit 1endifset Dir = $1set list = $2set headscales = $3set Eigdir = $4set first_ev = $5set last_ev = $6set headsearch = $7# this does the head search using umap#----------------------------------------------------------------------ms_eigsearch -i $Dir \ -l $list \ -s $headscales \ -d $Eigdir \ -o $Dir/$headsearch \ -u -m -c \ -a $first_ev \ -b $last_ev
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -