Как переименовывать файлы, но не каталоги?

Полный remove = sudo apt-get purge firefox (удалить настройки тоже)

0
задан 20 June 2012 в 21:14

6 ответов

Итерировать все и проверить, является ли он обычным файлом или нет.

#bash
for file in ./*; do
    [[ -f $file ]] && mv "$file" "$file.ext"
done

Если вам не нужно добавлять расширение на файлы, которые уже есть:

for file in ./*; do
    if [[ -f $file && $file != *.ext ]]; then
        mv "$file" "$file.ext"
    fi
done
3
ответ дан 25 July 2018 в 18:23

Итерировать все и проверить, является ли он обычным файлом или нет.

#bash
for file in ./*; do
    [[ -f $file ]] && mv "$file" "$file.ext"
done

Если вам не нужно добавлять расширение на файлы, которые уже есть:

for file in ./*; do
    if [[ -f $file && $file != *.ext ]]; then
        mv "$file" "$file.ext"
    fi
done
3
ответ дан 2 August 2018 в 00:35

Итерировать все и проверить, является ли он обычным файлом или нет.

#bash
for file in ./*; do
    [[ -f $file ]] && mv "$file" "$file.ext"
done

Если вам не нужно добавлять расширение на файлы, которые уже есть:

for file in ./*; do
    if [[ -f $file && $file != *.ext ]]; then
        mv "$file" "$file.ext"
    fi
done
3
ответ дан 4 August 2018 в 16:05

Итерировать все и проверить, является ли он обычным файлом или нет.

#bash
for file in ./*; do
    [[ -f $file ]] && mv "$file" "$file.ext"
done

Если вам не нужно добавлять расширение на файлы, которые уже есть:

for file in ./*; do
    if [[ -f $file && $file != *.ext ]]; then
        mv "$file" "$file.ext"
    fi
done
3
ответ дан 6 August 2018 в 00:43

Итерировать все и проверить, является ли он обычным файлом или нет.

#bash
for file in ./*; do
    [[ -f $file ]] && mv "$file" "$file.ext"
done

Если вам не нужно добавлять расширение на файлы, которые уже есть:

for file in ./*; do
    if [[ -f $file && $file != *.ext ]]; then
        mv "$file" "$file.ext"
    fi
done
3
ответ дан 7 August 2018 в 18:09

Итерировать все и проверить, является ли он обычным файлом или нет.

#bash
for file in ./*; do
    [[ -f $file ]] && mv "$file" "$file.ext"
done

Если вам не нужно добавлять расширение на файлы, которые уже есть:

for file in ./*; do
    if [[ -f $file && $file != *.ext ]]; then
        mv "$file" "$file.ext"
    fi
done
3
ответ дан 10 August 2018 в 06:55

Другие вопросы по тегам:

Похожие вопросы: