Skip to content

Instantly share code, notes, and snippets.

View gvoze32's full-sized avatar
🕓
Busy

Syafa Adena gvoze32

🕓
Busy
194 followers · 28 following
  • Hobbyist
  • Indonesia
View GitHub Profile
@gvoze32
gvoze32 / config_0
Last active October 11, 2020 14:16
Tilda Nord config
tilda_config_version="1.5.2"
command=""
font="mplus Nerd Font Mono 9"
key="F12"
addtab_key="<Shift><Control>t"
fullscreen_key="F11"
toggle_transparency_key="F12"
toggle_searchbar_key="<Shift><Control>f"
closetab_key="<Shift><Control>w"
nexttab_key="<Control>Page_Down"
@gvoze32
gvoze32 / ffmpeg GIF to MP4.MD
Last active August 20, 2025 22:41
Convert animated GIF to MP4 using ffmpeg in terminal.

To convert animation GIF to MP4 by ffmpeg, use the following command

ffmpeg -i animated.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" video.mp4

Description

movflags – This option optimizes the structure of the MP4 file so the browser can load it as quickly as possible.

pix_fmt – MP4 videos store pixels in different formats. We include this option to specify a specific format which has maximum compatibility across all browsers.