Linux常识

sed命令
sed的替换命令格式：s/A/B/g 或者 s#A#B#g 或者 s_A_B_g
sed s#SOLVERSTATE_DIR#$SOLVERSTATE_DIR# <$SOLVER >$SOLVER_TEMP
gedit与vi
mkdir
vi
tar zxvf

如果提示XXX.so找不到可以添加LD_LIBRARY或者建立链接：sudo ln -s 源文件 目标文件