?? run
字號(hào):
#! /bin/bashecho Generating dataset../Generator -ds 1000 -sl 100 > mixecho Creating new TPR-Tree and Querying../TPRTreeLoad mix tree 10 > resecho Running exhaustive search../Exhaustive mix > res2echo Comparing resultssort -n res > asort -n res2 > bif diff a bthenecho "Same results with exhaustive search. Everything seems fine."echo Results: `wc -l a`rm -rf a b res res2 tree.*elseecho "PROBLEM! We got different results from exhaustive search!"fi?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -