this post was submitted on 14 Sep 2023
9 points (100.0% liked)
Python
6413 readers
3 users here now
Welcome to the Python community on the programming.dev Lemmy instance!
π Events
Past
November 2023
- PyCon Ireland 2023, 11-12th
- PyData Tel Aviv 2023 14th
October 2023
- PyConES Canarias 2023, 6-8th
- DjangoCon US 2023, 16-20th (!django π¬)
July 2023
- PyDelhi Meetup, 2nd
- PyCon Israel, 4-5th
- DFW Pythoneers, 6th
- Django Girls Abraka, 6-7th
- SciPy 2023 10-16th, Austin
- IndyPy, 11th
- Leipzig Python User Group, 11th
- Austin Python, 12th
- EuroPython 2023, 17-23rd
- Austin Python: Evening of Coding, 18th
- PyHEP.dev 2023 - "Python in HEP" Developer's Workshop, 25th
August 2023
- PyLadies Dublin, 15th
- EuroSciPy 2023, 14-18th
September 2023
- PyData Amsterdam, 14-16th
- PyCon UK, 22nd - 25th
π Python project:
- Python
- Documentation
- News & Blog
- Python Planet blog aggregator
π Python Community:
- #python IRC for general questions
- #python-dev IRC for CPython developers
- PySlackers Slack channel
- Python Discord server
- Python Weekly newsletters
- Mailing lists
- Forum
β¨ Python Ecosystem:
π Fediverse
Communities
- #python on Mastodon
- c/django on programming.dev
- c/pythorhead on lemmy.dbzer0.com
Projects
- PythΓΆrhead: a Python library for interacting with Lemmy
- Plemmy: a Python package for accessing the Lemmy API
- pylemmy pylemmy enables simple access to Lemmy's API with Python
- mastodon.py, a Python wrapper for the Mastodon API
Feeds
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
@Shady_Shiroe
Open GIMP
Go to "File" > "Open" and select your GIF.
Select the "Crop Tool" from the toolbox.
Adjust the crop area to your desired size.
Click the "Crop" button.
Go to "File" > "Export As" and choose GIF as the format. Save your cropped GIF.
FFmpeg
Use the following command to crop the GIF, replacing input.gif with your GIF's filename and specifying the crop dimensions:
ffmpeg -i input.gif -vf "crop=w:h:x:y" output.gif
Let me clarify, there are 3 THOUSAND GIFs that need to be cropped
for i in $( ls *.gif ); do fmpeg -i $i -vf "crop=w:h:x:y" cropped_$i; done
This runs on Linux/Mac or on WSL on windows Make sure there are no spaces in the filenames.
If they're all the same size and need cropped to the same size you could drop them all in one folder and run the ffmpeg command with *.gif. That should do all of them.
You'd have to find a way to automate the output though.