gphg

#!/usr/bin/env bash
# Initialize variables to customize output
: "${FFILE:="${HOME}/.fonts/i/impact.ttf"}" # Let user choose font file
: "${FSIZE:=72}"                            # Let user choose font size in px
: "${BSIZE:=5}"                             # Let user choose stroke size in px
: "${OFFSET:='(h*0.05)'}"                   # Let user choose text offset in px
# TTEXT - Text to display at the top of the image
# BTEXT - Text to display at the bottom of the image

# Exit value index:

gphg

pcall(require,"socket")

Scheduler = setmetatable({}, {
    __call = function(class)
        return setmetatable({
            threads = {},
        }, class)
    end
})
Scheduler.__index = Scheduler

gphg

#!/usr/bin/env python
# Taken from http://zulko.github.io/blog/2015/02/01/extracting-perfectly-looping-gifs-from-videos-with-python-and-moviepy/

import os
import sys

import moviepy.editor as mp
from moviepy.video.tools.cuts import FramesMatches

# Extends FramesMatches, the code is copied from source file then modified

gphg

#!/bin/bash

#
# Script to convert MP4 video to GIF with generation of custom color palette.
#
#=== Do not touch code below
# Inner variables
input_file=""
input_fps=""
input_height=""

gphg

<?php

/**
 * Pico page modification time plugin
 *
 * Adds a page's last modification time to its page data.
 *
 * Example:
 *
 * ```twig