Scott Dunlop swdunlop

Installation of NixOS with encrypted root

These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI.

Most of this is scrambled from the following pages:

Lower precedence means a stronger binding; ie. this list is sorted from strongest to weakest binding, and in the case of equal precedence between two operators, the associativity decides the binding.

Prec	Abbreviation	Example	Assoc	Description
1	SELECT	`e . attrpath [or def]`	none	Select attribute denoted by the attribute path `attrpath` from set `e`. (An attribute path is a dot-separated list of attribute names.) If the attribute doesn’t exist, return `default` if provided, otherwise abort evaluation.
2	APP	`e1 e2`	left	Call function `e1` with argument `e2`.
3	NEG	`-e`	none	Numeric negation.
4	HAS_ATTR	`e ? attrpath`	none	Test whether set `e` contains the attribute denoted by `attrpath`; return true or false.
5	CONCAT	`e1 ++ e2`	right	List concatenation.
6	MUL	`e1 * e2`	le

Displaying HDMI sources on Apple Vision Pro

While it's possible to stream most content to Apple Vision Pro directly over the internet, having the ability to use Apple Vision Pro as an HDMI display can still be useful.

Since Apple Vision Pro does not support connecting to an HDMI input directly or using an HDMI capture card, we have to be a little creative to make this work. NDI provides the ability to stream HDMI content over a local network with really low latency, and it works great with Apple Vision Pro.

This page shows the setup I’m using.

	drbig@swordfish:pts/16 ~/P/pry-tcprepl> cat pry-tcprepl.rb
	require 'pry'
	require 'pty'

	class PryTcpRepl
	attr_reader :thread

	def initialize(where, host = '127.0.0.1', port = '9123')
	@where = where
	@host = host

	{ "keys": ["home"], "command": "move_to", "args": {"to": "bol"} },
	{ "keys": ["end"], "command": "move_to", "args": {"to": "eol"} }