Прежде всего, пожалуйста, извините мой плохой английский, я постараюсь понять.Использование wget или curl с измененным файлом имен
Я использую пакетный файл (Windows, cmd.exe) для извлечения и бесшумной установки Adobe Flash на свой компьютер. Пакет работает хорошо, но у меня есть проблема, когда на серверах Adobe происходит серьезное изменение версии. Вот пакетный командная строка:
@echo off
setlocal enableextensions
md c:\temp\flash
pushd c:\temp\flash
wget -nH --cut-dirs=5 -r --timestamping http://download.macromedia.com/get/flashplayer/current/licensing/win/install_flash_player_15_plugin.exe
wget -nH --cut-dirs=5 -r --timestamping http://download.macromedia.com/get/flashplayer/current/licensing/win/install_flash_player_15_active_x.exe
echo Closing browsers
pause
taskkill /f -im firefox.exe -im iexplore.exe
install_flash_player_15_plugin.exe -install -au 2
install_flash_player_15_active_x.exe -install -au 2
popd
setlocal disableextensions
pause
Когда Flash обновлен до следующей версии, изменения имен файлов из install_flash_player_15_active_x.exe
в install_flash_player_16_active_x.exe
и партия должны быть исправлены вручную, иначе он застрял со старой версией ,
Есть ли способ заменить номер версии подстановочными знаками или некоторым регулярным выражением, чтобы иметь wget для получения последнего файла при изменении имени? Или, по крайней мере, есть ли какой-либо совместимый с Windows инструмент командной строки, который анализирует имена файлов на сервере, находит последние и передает его как переменную для wget (или cURL)?
Спасибо