If you're on a mac, and you use cmd+shift+5 to record screens to put in your PR, here's a little snippet i wrote to convert that into a gif:
convertToGif () {
if [ -z "$1" ]; then
mov_filename=$(ls -t ~/Desktop/*.mov | head -n 1)
if [ -z "$mov_filename" ]; then
echo "No MOV files found on the desktop."