Shung-Hsi Yu shunghsiyu

mosh-nat

Scripts to setup mosh connection with server behind firewall

Install the stuntman package to get the stunclient binary both locally and on the server
Place the udp_hole_punch script inside a directory that is in $PATH so that it can be called; both locally and on the server
Compile mosh-nat-bind.c into mnb.so and place it inside $HOME/bin/ locally (don't need it on server)

python manage.py loaddata $PATH_TO_FIXTURES_JSON

The fixtures.json is created by running python manage.py dumpdata --indent=2 users proposals events

	FROM debian:11-slim

	ARG pahole_branch=master
	ENV PAHOLE_BRANCH=$pahole_branch
	ARG pahole_origin=https://git.kernel.org/pub/scm/devel/pahole/pahole.git
	ENV PAHOLE_ORIGIN=$pahole_origin
	ARG llvm_version=17
	ENV LLVM_VERSION=$llvm_version
	ENV CLANG=clang-$llvm_version
	ENV LLVM_STRIP=llvm-strip-$llvm_version

	#!/usr/bin/python3
	from uuid import uuid4
	from z3 import And, BitVec, BitVecRef, BitVecVal, Implies, prove, ULT, Extract, SignExt, ZeroExt

	SIZE = 64 # Working with 64-bit integers

	class Tnum:
	"""A model of tristate number use in Linux kernel's BPF verifier.
	https://github.com/torvalds/linux/blob/v5.18/kernel/bpf/tnum.c
	"""

	#!/bin/bash
	set -eEuxo pipefail

	export PATH="$HOME/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
	export LD_LIBRARY_PATH="$HOME/.local/lib64"

	trap 'exit -1' ERR

	pushd "$HOME/llvm-project"
	rm -r ./build \|\| true

	#!/usr/bin/env python3
	#
	# Output both history of bash commands and Firefox visits in reverse
	# chronological order.
	import configparser
	import logging
	import os
	import re
	import shutil
	import sqlite3

	<html><head><meta charset="utf-8" /></head><body><script type="text/javascript">/**
	* plotly.js v1.31.2
	* Copyright 2012-2017, Plotly, Inc.
	* All rights reserved.
	* Licensed under the MIT license
	*/

	<!DOCTYPE html>
	<html lang="zh-TW">
	<head>
	<meta charset="utf-8" />
	<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<link rel="stylesheet" href="https://fonts.googleapis.com/icon?family=Material+Icons">
	<link rel="stylesheet" href="https://code.getmdl.io/1.3.0/material.teal-orange.min.css" />
	<script src="https://code.getmdl.io/1.3.0/material.min.js"></script>
	<style>

	const express = require('express')
	const app = express()



	app.get('*', function (req, res) {
	res.send(`<body style="white-space: pre-wrap" width="100%" height="100%">
	You are visiting: ${req.path}
	You send the following query:
	${JSON.stringify(req.query, null, 4)}