Stefan Siegert sieste

My neovim + typst + mupdf setup for real-time pdf editing

nvim main.typ

:e term://typst watch %

To create a screencast using Linux command line tools I have used the methods outlined on this page:

(Ctrl-F screencast)

This might not be the easiest method, but it was simple enough for me and uses only tools that I had installed already.

	" standard key bindings
	inoremap jk <Esc>
	nnoremap <Space> :

	nnoremap <Enter> gwap
	vnoremap <Enter> gw

	" paste/yank from/to system clipboard
	set clipboard+=unnamedplus
	nnoremap <leader>p "+p

	# 0 is too far from ` ;)
	set -g base-index 1
	setw -g pane-base-index 1


	#set -g default-terminal screen-256color
	set -g status-keys vi
	set -g history-limit 10000

	setw -g mode-keys vi

	import torch
	import torch.nn as nn
	from torch.utils.data import Dataset, DataLoader
	import xarray as xr
	import glob
	from tqdm import tqdm

	# -----------------------
	# Dataset
	# -----------------------

	# load venv_cdsapi, which is a standard python venv plus `pip install cdsapi`
	# and also needs ~/.cdsapirc with lines:
	# url: https://cds.climate.copernicus.eu/api
	# key: <CDS API KEY>

	import os
	import numpy as np
	import cdsapi
	import xarray as xr

	/* See LICENSE file for copyright and license details. */

	/*
	* appearance
	*
	* font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
	*/
	static char font[] = "pragmatapro:pixelsize=16:weight=medium:antialias=true:autohint=true";
	static int borderpx = 2;

	#!/bin/bash
	#
	# Record screen and microphone audio
	# Stefan Siegert 2020, adapted from code by Steven Gordon
	#
	# Example usage:
	# screencast intro-to-datacomms
	# The audio and screen will be recorded. Press 'z' to stop.
	# Two files will be created: intro-to-datacomms-audio.flac, intro-to-datacomms-screen.mp4