9月 102018
 

代码: file=”thisfile.txt” echo “filename: ${file%.*}” echo “extension: ${file##*.}” 输出: filename: thisfile extension: txt 附: Bash字符串处理 基于Pattern Matching的子串替换 ${STR/$OLD/$NEW} 替换第一个。 ${STR//$OLD/$NEW} 替换所有。 注意:不能使用正则表达式,只能使用?*的Shell扩展。只能用shell通配符如 * ?  [list] [!list] [a-z]。 ${STR/#$OLD/$NEW} 替换开头。如果STR以OLD串开头,则替换。 ${STR/%$OLD/$NEW} 替换结尾。如果STR以OLD串结尾,则替换。   [user@laptop ~]# STR=”Hello World”  [user@laptop ~]# echo ${STR/o/O}  HellO World [user@laptop ~]# echo ${STR//o/O}&nb […]

 Posted by at 下午7:305 views