Columbia_Bob Asked: 2018-01-03 14:23:59 +0800 CST2018-01-03 14:23:59 +0800 CST 2018-01-03 14:23:59 +0800 CST 如何在某个字符后截断文件名 772 由于对 wget 的了解有限,我有一堆文件,其名称如下: doc1.pdf@uselessjunk doc1.mobi@uselessjunk @怎样才能得到符号之前的文件名?有多个受影响的扩展,所以我不希望有任何东西替换特定的扩展。 rename mv 1 个回答 Voted Best Answer DopeGhoti 2018-01-03T14:33:22+08:002018-01-03T14:33:22+08:00 for file in *@*; do if ! [[ -f "${file%%@*}" ]]; then mv "$file" "${file%%@*}" else echo "Replacement for '$file' already exists. Skipping." fi done
1 个回答