📄 redir3.sh
字号:
#!/bin/bash# Same as previous example, but with "until" loop.if [ -z "$1" ]then Filename=names.data # Default, if no filename specified.else Filename=$1fi # while [ "$name" != Smith ]until [ "$name" = Smith ] # Change != to =.do read name # Reads from $Filename, rather than stdin. echo $namedone <"$Filename" # Redirects stdin to file $Filename. # ^^^^^^^^^^^^# Same results as with "while" loop in previous example.exit 0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -