欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Bash
来自开放百科 - 灰狐
Bash is the shell, or command language interpreter, that will appear in the GNU operating system.Bash is an sh-compatible shell that incorporates useful features from the Korn shell (ksh) and C shell (csh).
http://www.gnu.org/software/bash/
BASH Programming
BASH Programming - Introduction HOW-TO - http://ldp.huihoo.org/HOWTO/Bash-Prog-Intro-HOWTO.html
tar -cZf /var/my-backup.tgz /home/me/ ls -l > ls-l.txt STR="Hello World!" echo $STR touch test.sh #!/bin/bash for i in $(ls); do echo item: $i done for i in `seq 1 10`; do echo $i done $ bash test.sh
分享您的观点