Don Cross cosinekitty

The Raspberry Pi foundation have now released a beta version of an official 64-bit Kernel which can be installed using the rpi-update script. The rpi-update script can be found at https://github.com/Hexxeh/rpi-update/blob/master/rpi-update or through the Raspbian repositories

Introduction

The objective of these instructions is to build a stock 64bit Linux Kernel for use on the Raspberry Pi 4B on a Debian x64 machine (Windows Subsystem for Linux in my case), and deploy on the Raspberry Pi.

Notes:

Transfer to Pi is using my NAS in this example, replace with shared drive/memory stick etc. as required.
- (N: drive on Windows and /mnt/NAS on Linux in this example).
For a specific Kernel version replace the 4.19 with the wanted version in the git clone command.
Greater than 3GB RAM only currently available on Kernel 4.19

pretty_csv/pretty_tsv

These are some simple bash functions and scripts for making CSV/TSV files prettier on the command line

see http://stefaanlippens.net/pretty-csv.html for more information.

How do I clone a GitHub wiki?

Any GitHub wiki can be cloned by appending wiki.git to the repo url, so the clone url for the repo https://myorg/myrepo/ is: [email protected]:myorg/myrepo.wiki.git (for ssh) or https://github.com/my/myrepo.wiki.git (for https).

You make edits, and commit and push your changes, like any normal repo. This wiki repo is distinct from any clone of the project repo (the repo without wiki.get appended).

How do I add images to a wiki page?

vimdiff cheat sheet

##git mergetool

In the middle file (future merged file), you can navigate between conflicts with ]c and [c.

Choose which version you want to keep with :diffget //2 or :diffget //3 (the //2 and //3 are unique identifiers for the target/master copy and the merge/branch copy file names).

:diffupdate (to remove leftover spacing issues)

:only (once you’re done reviewing all conflicts, this shows only the middle/merged file)

	# By default, Docker containers run as the root user. This is bad because:
	# 1) You're more likely to modify up settings that you shouldn't be
	# 2) If an attacker gets access to your container - well, that's bad if they're root.
	# Here's how you can run change a Docker container to run as a non-root user

	## CREATE APP USER ##

	# Create the home directory for the new app user.
	RUN mkdir -p /home/app

	#!/bin/bash

	# tunejack.sh uses the TuneIn public API (at opml.radiotime.com) to search for
	# a radio station, print out its details and try to play it somehow.

	if [ "$#" -eq 0 ]; then
	echo "$0: search for a radio station using the TuneIn API"
	echo "Usage: $0 PATTERN"
	exit 1
	fi

	/*
	* base64.js: An extremely simple implementation of base64 encoding / decoding using node.js Buffers
	*
	* (C) 2010, Nodejitsu Inc.
	* (C) 2011, Cull TV, Inc.
	*
	*/

	var base64 = exports;