📄 generate.sh
字号:
#! /bin/sh
for blah in `cat ../generic/blah`; do
echo $blah
(
echo "#ifndef vcl_iso_${blah}_h_"
echo "#define vcl_iso_${blah}_h_"
echo ""
echo "// This is a generated file. DO NOT EDIT! Not even a little bit."
echo ""
echo "#include <$blah>"
echo ""
echo "#ifdef vcl_generic_${blah}_STD"
echo " ** error **"
echo "#else"
echo "# define vcl_generic_${blah}_STD std"
echo "#endif"
echo ""
echo "#include \"../generic/vcl_${blah}.h\""
echo ""
echo "#endif // vcl_iso_${blah}_h_"
) > vcl_${blah}.h
done
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -