?? run
字號:
#! /bin/bashecho Generating dataset../Generator 1000 > mixecho Creating new MVR-Tree and Querying../MVRTreeLoad mix tree 20 intersection > resecho Running exhaustive search../Exhaustive mix intersection > 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
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -