michaelh03

jonbakerfish / loop_aria2.sh

Last active August 14, 2024 20:08

aria2 downloads a list of files, loop until all file are finished

	#!/bin/bash
	aria2c -j5 -i list.txt -c --save-session out.txt
	has_error=`wc -l < out.txt`

	while [ $has_error -gt 0 ]
	do
	echo "still has $has_error errors, rerun aria2 to download ..."
	aria2c -j5 -i list.txt -c --save-session out.txt
	has_error=`wc -l < out.txt`
	sleep 10

zacwest / ios-font-sizes.swift

Last active April 24, 2025 07:18

iOS default font sizes - also available on https://www.iosfontsizes.com

	let styles: [UIFont.TextStyle] = [
	// iOS 17
	.extraLargeTitle, .extraLargeTitle2,
	// iOS 11
	.largeTitle,
	// iOS 9
	.title1, .title2, .title3, .callout,
	// iOS 7
	.headline, .subheadline, .body, .footnote, .caption1, .caption2,
	]

creationix / chatServer.js

Created November 19, 2010 20:47

A simple TCP based chat server written in node.js

	// Load the TCP Library
	net = require('net');

	// Keep track of the chat clients
	var clients = [];

	// Start a TCP Server
	net.createServer(function (socket) {

	// Identify this client