2014年2月28日
摘要: file = "thisfile.txt" echo "filename: ${file%.*}" echo "extension: ${file##*.}" 阅读全文
posted @ 2014-02-28 14:40 Xavierr 阅读(634) 评论(0) 推荐(0)