📄 h_header.sh
字号:
#! /bin/sh## Quick and dirty way of printing headers from# NIST format speech files. Since it uses 'sed'# it may not work on files with very long lines# or non-ascii characters in the header before# "end_head"if test $# -eq 0 ; then exec sed -n -e '/^end_head$/ q' -e p exit 1fiE=0for FILE do test $# -gt 1 && echo "::::: ${FILE} :::::" sed -n -e '/^end_head$/ q' -e p < "${FILE}" S=$? test $S -ne 0 && E=$S doneexit $E
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -