geoder101

Gist mirror of "Learn Scheme in 15 Minutes"

This is just a mirror of https://web-artanis.com/scheme.html (I found their syntax highlighting difficult to read).

geoder101

FFmpeg cheat sheet

A list of useful commands for the ffmpeg command line tool.

Download FFmpeg: https://www.ffmpeg.org/download.html

Full documentation: https://www.ffmpeg.org/ffmpeg.html

Basic conversion

geoder101

Project Title

One Paragraph of project description goes here

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.

Prerequisites

geoder101

Console application that exit on Ctrl-C (ready for Docker)

Console.ReadLine or Console.ReadKey do not work as expected under Docker container environment. Thus, typical way to solve this would be to properly handle Ctrl-C key combination.

C# snippet

using System;
using System.Threading;

geoder101

private static int Main(string[] args)
{
#if DEBUG
    if (args.Any(a => a == "--debug"))
    {
        args = args.Where(a => a != "--debug").ToArray();
        Console.WriteLine($"Ready for debugger to attach. Process ID: {Process.GetCurrentProcess().Id}.");
        Console.WriteLine("Press ENTER to continue.");
        Console.ReadLine();
    }

geoder101

#!/usr/bin/env bash
# Download this gist
#    curl -Ls https://gist.github.com/andkirby/54204328823febad9d34422427b1937b/raw/semversort.sh | bash
# And run:
#    $ semversort 1.0 1.0-rc 1.0-patch 1.0-alpha
# or in GIT
#    $ semversort $(git tag)
# Using pipeline:
#    $ echo 1.0 1.0-rc 1.0-patch 1.0-alpha | semversort
#

geoder101

[<JavaScript>]
module BootstrapUI =
    open WebSharper.UI.Next
    open WebSharper.UI.Next.Html
    open WebSharper.UI.Next.Client

    module Button =
        type private ButtonColor =
        | Default
        | Primary

geoder101

geoder101

#!/bin/bash
# This script will help you setup Docker for TLS authentication.
# Run it passing in the arguement for the FQDN of your docker server
#
# For example:
#    ./create-docker-tls.sh myhost.docker.com
# 
# The script will also create a profile.d (if it exists) entry 
# which configures your docker client to use TLS
#

geoder101

#!/bin/bash

#### Default Configuration

CONCURRENCY=4
REQUESTS=100
ADDRESS="http://localhost:8080/"

show_help() {
cat << EOF