📄 check_spacing.sh
字号:
#!/bin/shset -uFILE=$1if [[ "$(basename $FILE)" = "dmtxfec.c" ]]; then exit 0fiPATTERN="XX_C_XXXX_XXXX_XXX_XX_X_X_"COPYRIGHT=0for i in $(seq 1 25); do LINE_TYPE=$(echo $PATTERN | cut -c$i) LINE_NBR=$((i + COPYRIGHT)) if [[ "$LINE_TYPE" = "C" ]]; then while true; do sed -n "$LINE_NBR p" $FILE | grep --silent "^Copyright" if [[ $? -eq 0 ]]; then COPYRIGHT=$((COPYRIGHT+1)) LINE_NBR=$((i + COPYRIGHT)) else COPYRIGHT=$((COPYRIGHT-1)) break fi done elif [[ "$LINE_TYPE" = "X" ]]; then sed -n "$LINE_NBR p" $FILE | grep --silent "^..*$" if [[ $? -ne 0 ]]; then echo "Expected line $LINE_NBR to be non-empty in $FILE" exit 1 fi else sed -n "$LINE_NBR p" $FILE | grep --silent "^$" if [[ $? -ne 0 ]]; then echo "Expected line $LINE_NBR to be empty in $FILE" exit 1 fi fidoneexit 0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -