sieste

#!/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

sieste

/* 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;

sieste

Description='eduroam'
Interface=wlp0s20f3
Connection=wireless
IP=dhcp
Security=wpa-configsection
ESSID=eduroam
WPAConfigSection=(
  'ssid="eduroam"'
  'key_mgmt=WPA-EAP'
  'pairwise=CCMP TKIP'

sieste

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

• open typst source in neovim:

nvim main.typ

• open typst watch in a separate terminal buffer to be able to see error messages

:e term://typst watch %