Я бы рекомендовал использовать инструмент convert из ImageMagick:
convert input.png -resize 900x900 output.jpg
Опция -resize должна быть довольно очевидной, а формат выходного файла автоматически определяется с использованием расширения своего имени. 1]
Чтобы запустить это во всех файлах в текущем каталоге, попробуйте следующее:
for inputfile in ./* ; do
outputfile="${inputfile%.*}.jpg"
convert "$inputfile" -resize 900x900 "$outputfile" &&
[[ -e "$outputfile" && "$inputfile" != "$outputfile" ]] && rm "$inputfile"
done
Это займет все файлы из текущего каталога (независимо от типа файла) и для каждого входа файл создайте соответствующее имя выходного файла, удалив старое расширение и добавив вместо него «.jpg». Затем он использует convert, как описано выше, для изменения размера и преобразования изображения, которое создает новый файл и оставляет оригинал как есть. Если это было успешно (&&), проверьте, существует ли выходной файл и если имя входного файла отличается от имени выходного файла (например, если один из исходных файлов уже был jpg). Теперь, если эти условия выполнены, мы предполагаем, что мы можем удалить входной файл.
Измените DNS на своей ОС, с вашего локального шлюза, на общедоступный DNS Google 8.8.8.8 и amp; 8.8.4.4.
Источник: для общедоступного DNS Google
Измените DNS на своей ОС, с вашего локального шлюза, на общедоступный DNS Google 8.8.8.8 и amp; 8.8.4.4.
Источник: для общедоступного DNS Google
Измените DNS на своей ОС, с вашего локального шлюза, на общедоступный DNS Google 8.8.8.8 и amp; 8.8.4.4.
Источник: для общедоступного DNS Google