convert videos to gifs with ffmpeg

gifs_converter.sh

width="400"
fps="12"

for path in "$@"
do
    echo "$path"
    # path setup
    video_path=$path
    directory_path=`dirname "$path"`
    file=`basename "$path"`

    extension="${file##*.}"
    filename="${file%.*}"
    echo $extension

    gif_path="${video_path%.*}.gif"
    echo $gif_path

    ffmpeg  -y -i $video_path  -vf fps=$fps,scale=$width:-1:flags=lanczos,palettegen palette.png;
    ffmpeg -y -i $video_path -i palette.png -filter_complex "fps=$fps,scale=$width:-1:flags=lanczos[x];[x][1:v]paletteuse" $gif_path;
done