нарисовалась тут необходимость примерно в следующем — есть фаил вида filename.php?id=31337 надо их переименовать в нечто вида filename.mp3.
ткните носом в доку плз, или пример дайте.
Последние комментарии
-
OlegL, 17 декабря 2023 года в 15:00 →
Перекличка
21
-
REDkiy, 8 июня 2023 года в 9:09 →
Как «замокать» файл для юниттеста в Python?
2
-
fhunter, 29 ноября 2022 года в 2:09 →
Проблема с NO_PUBKEY: как получить GPG-ключ и добавить его в базу apt?
6
-
Иванн, 9 апреля 2022 года в 8:31 →
Ассоциация РАСПО провела первое учредительное собрание
1
-
Kiri11.ADV1, 7 марта 2021 года в 12:01 →
Логи catalina.out в TomCat 9 в формате JSON
1
DevOps as a Service from Palark
24/7 SRE & DevOps service to cover all your Kubernetes needs.
Мде.
man bash
P.S. Не совсем то, но было тут недавно:
http://www.nixp.ru/cgi-bin/forum/YaBB.pl?board=faq;action=display;num=1165685160
гм… благодарю. в ман я заглянуть не догадался… мысли все о физике :)
из filename.php?id=31337 я бы чего-нить типа filename-31337.mp3 подумал как сделать.. ;)
$ f="filename.php?id=31337"; f_=${f%.php*}-${f#*=}.mp3; echo $f_ filename-31337.mp3но это так, к слову..
Бох! Я бы без perl/sed сходу не обошелся бы.. Надо будет восполнить пробелы на досуге.
Genie жжошь :)
А можно ещё проще ;)
f="filename.php?id=31337"; f_=${f//'.php?id='/-}.mp3а ЕЩЁ проще не хочешь? ;)
$ f="filename.php?id=31337"; f_=${f//.*=/-}.mp3; echo $f_Суть и простота всё-таки теже, но твоё короче ;). Порвал! ;)