Donald Sebastian Leung DonaldKellett

Writing this for myself and others since most documentation online, official or otherwise, tend to make it look way more complicated than it really is.

Install the required packages: $ sudo apt install build-essential devscripts dh-make lintian
Fetch the source code: $ wget https://example.com/path/to/pkgname/vx.y.z.tar.gz
Unpack the source code: $ tar xvf /path/to/your/vx.y.z.tar.gz
Make sure the unpacked source code is in all lowercase
Change directory to the unpacked source code: $ cd /path/to/your/pkgname-x.y.z
Run this: $ dh_make --native. Choose s for arch-specific stuff, i for arch-independent stuff (such as Node.js programs)
This creates a debian/ subdirectory in the source code. Delete all files except the following in debian/ (if the other files are required, we can add them back later):

Markdown to styled HTML page using Python-Markdown and Bootstrap CSS for my serverless blog engine on Alibaba Cloud

A simple blogging engine for swiftly authoring blog posts using Markdown and have them converted to professional-looking HTML pages on the fly

Execution environment

Alibaba Cloud Function Compute with the appropriate configuration

In particular, make sure Python-Markdown is installed and an OSS bucket containing your Markdown blogs is mounted under /mnt/donaldsebleung-blog/ with at least read permissions

	(* Proving injectivity of list concatenation from first
	principles - no stdlib, no automation *)

	(* Definition of a list *)
	Inductive list (A : Type) : Type :=
	\| nil
	\| cons (x : A) (xs : list A).

	Arguments nil {A}.
	Arguments cons {A} _ _.

	#!/bin/bash

	if [[ $# -ne 2 ]]; then
	echo "Usage: /path/to/comp4521.sh prefix project"
	echo "Where:"
	echo "- prefix is the file to prepend to all JavaScript programs"
	echo "- project is the project directory to apply the action to"
	exit 1
	fi

	Param ($PrefixFile, $ProjectFolder)

	# Credits: https://devblogs.microsoft.com/powershell-community/borrowing-a-built-in-powershell-command-to-create-a-temporary-folder/
	Function New-TemporaryFolder {
	# Make a new folder based upon a TempFileName
	$T="$($Env:temp)\tmp$([convert]::tostring((get-random 65535),16).padleft(4,'0')).tmp"
	return (New-Item -ItemType Directory -Path $T)
	}

	if (-not (Test-Path $PrefixFile -PathType Leaf)) {

	#undef UNICODE

	#define WIN32_LEAN_AND_MEAN

	#include <windows.h>
	#include <winsock2.h>
	#define _WIN32_WINNT 0x501
	#include <ws2tcpip.h>
	#include <stdlib.h>
	#include <stdio.h>

	{
	"ignition": {
	"version": "3.3.0"
	},
	"passwd": {
	"users": [
	{
	"name": "dsleung",
	"sshAuthorizedKeys": [
	"ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQCzSI7uKPqNJTCO9uaqFvSdk+A/vmkwJ/ef9hjku8BEau+NTd89K54g4sZwwVsnEkM9ZkgQ7TqaHs6qhG0xJoc82h8w34uzVglHsSAsY1D2FtuhT4dtwUq7+E2ZFj454rH23rrb3haFdROBizOIMCs01WH0muNKhU9a1O9EQZ42oG6boJqbhw3jWErUFZn4MhtN1FZDx1U2YY6B2VfnfeJvJG819WDor+MypScoD+/Z5Vjt/H4pgMxJSlLk6HFSuop7HHnSH3UzsT+VamxVCOvuN0mx6xm7kOvYp4HfKGKTQMyb+KIOWmr7XG4zG6H0j7STiQVjnVYzfgxnlUg607+Sti02N2dU73SnSn4A7v2Fht+6UjWxMqbugjT+QHH30QV3mwGbjdxwvEqifOGeXK/Khn2FLcW4pbinHce7vOOUBb3+mY/8qRvJHn7aRnHSKTj0jAuE5dRgG1UcYmDVUhyZD+6/Jf7/vF4zHI7B6MA8GSxx9+QeGhSDSrr5rEgBh/0= donaldsebleung@donaldsebleung-MacBookAir"

	FROM docker.io/library/ubuntu:jammy

	RUN set -ex; \
	buildDeps='git ca-certificates build-essential cmake'; \
	apt-get update; \
	apt-get install -y --no-install-recommends gcc $buildDeps; \
	cd /tmp; \
	git clone --recurse-submodules --branch v2.3.3 \
	https://github.com/Snaipe/Criterion; \
	cd Criterion; \