Sebastiano Ferraris SebastianoX

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Need

Convert .mov/.MP4 to .gif

Reason

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.

	import geopandas as gpd
	from shapely.ops import nearest_points

	def nearest(row, df1, df2, geom1_col='geometry', geom2_col='geometry', src_column=None):
	"""Find the nearest point and return the corresponding value from specified column."""
	# Construct a multipoint object
	geom_union = df2.unary_union
	# Find the geometry that is closest
	nearest = df2[geom2_col] == nearest_points(row[geom1_col], geom_union)[1]
	# Get the corresponding value from df2 (matching is based on the geometry)

	import os
	import csv
	import argparse
	from tqdm import tqdm

	def split(filehandler, delimiter=',', row_limit=10000,
	output_name_template='output_%s.csv', output_path='.', keep_headers=True):
	"""
	Splits a CSV file into multiple pieces.

	"""
	THIS HAS BEEN DEPRECATED!

	We propose you use st.form() instead:

	https://blog.streamlit.io/introducing-submit-button-and-forms/
	"""

	import streamlit as st
	import collections

	$ git clone [email protected]:xxxxx/xxxx.git my-awesome-proj
	Cloning into 'my-awesome-proj'...
	ssh: connect to host github.com port 22: Connection timed out
	fatal: Could not read from remote repository.

	$ # This should also timeout
	$ ssh -T [email protected]
	ssh: connect to host github.com port 22: Connection timed out

	$ # but this might work