Вопросы с тегом 'file-rename'

rename-file означает изменение имени файла
21

Как переименовать расширение для группы файлов?

В каталоге у меня есть куча *.html файлов. Я хотел бы переименовать их всех в *.txt Как я могу это сделать? Я использую оболочку bash.
03 авг. '09 в 21:42
8

Изменение капитализации имен файлов в Git

Я пытаюсь переименовать файл, чтобы иметь другую заглавную копию от того, что у него было до этого: git mv src/collision/b2AABB.js src/collision/B2AABB.js fatal: destination exists, source=src/collision/b2AABB.js, destination=src/collision/B2AABB.js...
09 мая '12 в 20:46
15

Переименование нескольких файлов в каталоге в Python

Я пытаюсь переименовать некоторые файлы в каталоге с помощью Python. Скажем, у меня есть файл с именем CHEESE_CHEESE_TYPE.*** и вы хотите удалить CHEESE_, поэтому мое результирующее имя файла будет CHEESE_TYPE Я пытаюсь использовать os.path.split...
03 мая '10 в 15:17
10

Как переименовать файл с помощью Python

Я хочу изменить a.txt на b.kml.
22 мар. '10 в 9:59
12

Переименуйте файл с помощью Java

Можно ли переименовать файл, скажем test.txt - test1.txt? Если test1.txt существует, он переименуется? Как переименовать его в уже существующий файл test1.txt, чтобы новое содержимое test.txt было добавлено к нему для последующего использования?
21 июл. '09 в 12:05
5

Как сделать git diff на перемещенный/переименованный файл?

Я переместил файл, используя git mv. Теперь я хотел бы сделать diff для нового файла, чтобы сравнить его со старым файлом (со старым, теперь несуществующим именем). Как это сделать?
20 апр. '11 в 12:41
6

mac os x terminal batch rename

У меня есть папка с рядом файлов с именем: prefix_1234_567.png prefix_abcd_efg.png Я бы хотел, чтобы пакет удалял одно подчеркивание и среднее содержимое, поэтому выход был бы prefix_567.png prefix_efg.png спасибо актуальным, но не полностью об...
08 июн. '14 в 4:24
7

Пакетное переименование файлов с помощью Bash

Как Bash переименовать серию пакетов, чтобы удалить их номера версий? Я обошел с помощью expr и %%, но безрезультатно. Примеры: Xft2-2.1.13.pkg становится Xft2.pkg jasper-1.900.1.pkg становится jasper.pkg xorg-libXrandr-1.2.3.pkg становится x...
02 мар. '09 в 15:20
4

Как переименовать загруженный файл, прежде чем сохранять его в каталог?

Ниже приведен код, который я использовал для загрузки файлов в каталог. Работает нормально. Мой главный вопрос: move_uploaded_file() - это файл, который сохраняет загруженный файл в каталог, и я также предполагаю, что move_uploaded_file() - это тот...
09 сент. '13 в 19:36
10

Использование sed для массового переименования файлов

Цель Измените эти имена файлов: F00001-0708-RG-biasliuyda F00001-0708-CS-akgdlaul F00001-0708-VF-hioulgigl к этим именам файлов: F0001-0708-RG-biasliuyda F0001-0708-CS-akgdlaul F0001-0708-VF-hioulgigl Код оболочки Чтобы проверить: ls F...
03 мар. '10 в 15:52
3

Как переименовать загруженный файл с помощью wget?

Чтобы загрузить статистику SOFA с сервера, я использую команду wget: wget -c http://sourceforge.net/projects/sofastatistics/files/latest/download?source=dlp В этом случае имя файла загруженного файла составляет download?source=files. Если я добав...
13 янв. '13 в 17:54
5

Использовать уникальные имена файлов для загрузки с помощью django?

Какой лучший способ переименовать фотографии с уникальным именем на сервере при их загрузке, используя django? Я хочу, чтобы каждое имя использовалось только один раз. Есть ли какие-нибудь приложения-синтаксисы, которые могут это сделать, возможно, с...
20 апр. '10 в 8:30
5

Является ли rename() атомарным?

Я не могу проверить это с помощью экспериментов и не могу собрать это со страниц руководства. Скажем, у меня есть два процесса, один перемещает (переименовывает) файл1 из каталога1 в каталог2. Скажем, другой процесс, выполняющийся одновременно, коп...
14 авг. '11 в 3:38
4

Как переименовать файлы в Android Studio

Есть ли способ изменить имя файла в проектах Android Studio? Я пришел из Visual Studio и попытался выбрать-изменить имя файла. Я уже пробовал F2, который сочетает клавиатуру.
01 февр. '15 в 23:04
9

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

В моем приложении мне нужно записать видео. Перед началом записи я присваиваю ему имя и каталог. После завершения записи пользователь имеет возможность переименовать свой файл. Я написал следующий код, но, похоже, он не работает. Когда пользователь ...
03 мая '12 в 4:11