Miles Cranmer MilesCranmer

(The below text is licensed with CC0, which means that if you want to use or translate it, that is OK by me.)

Ok, I geeked out, and this is probably more information than you need. But it completely answers the question. Sorry. ☺

Locally, I'm at this commit:

$ git show
commit d6cd1e2bd19e03a81132a23b2025920577f84e37
Author: jnthn <[email protected]>

Date: Sun Apr 15 16:35:03 2012 +0200

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname

Default

Powerlevel10k

A simple Ghostscript command to merge two PDFs in a single file is shown below:

gs -dNOPAUSE -sDEVICE=pdfwrite -sOUTPUTFILE=combine.pdf -dBATCH 1.pdf 2.pdf

Install Ghostscript:

Type the command sudo apt-get install ghostscript to download and install the ghostscript package and all of the packages it depends on.

Auto-deploying built products to gh-pages with GitHub Actions

This is a set up for projects which want to check in only their source files, but have their gh-pages branch automatically updated with some compiled output every time they push.

A file below this one contains the steps for doing this with Travis CI. However, these days I recommend GitHub Actions, for the following reasons:

It is much easier and requires less steps, because you are already authenticated with GitHub, so you don't need to share secret keys across services like you do when coordinate Travis CI and GitHub.
It is free, with no quotas.
Anecdotally, builds are much faster with GitHub Actions than with Travis CI, especially in terms of time spent waiting for a builder.

	#!/bin/bash

	# store the current dir
	CUR_DIR=$(pwd)

	# Let the person running the script know what's going on.
	echo "\n\033[1mPulling in latest changes for all repositories...\033[0m\n"

	# Find all git repositories and update it to the master latest revision
	for i in $(find . -name ".git" \| cut -c 3-); do

	http://bitdrift.com/post/4534738938/fork-your-own-project-on-github

	1. Create a new repo named bar at github.com

	2. git clone https://[email protected]/gerjantd/foo.git bar

	3. cd bar

	4. vi .git/config
	replace foo with bar

	import numpy

	from cffi import FFI

	ffi = FFI()
	ffi.cdef("""
	void single_test(double *x, int n);
	void multi_test(double **x, int n, int m);
	""")
	C = ffi.dlopen("./simple.so")

	# Repeat an operation n times, e.g.
	# @dotimes 100 println("hi")

	macro dotimes(n, body)
	quote
	for i = 1:$(esc(n))
	$(esc(body))
	end
	end
	end

	# These instructions assume you are using a Linux or Mac machine as
	# the “local” machine and an Amazon Linux as the “remote” machine.
	# Here’s one way to get X11 working between the two.

	# on the local machine (Linux or Mac with X11 already installed)
	$ ssh -X -i <amazon_key.pem> ec2-user@<remote_ec2_box_name>

	# then on the remote Amazon Linux EC2 box
	$ sudo yum install xauth
	$ sudo yum install xterm