Quick snippet to add injlim
and projlim
to typst, defined as math operators with the correct baseline.
Keywords: direct limit, inverse limit, projective limit, injective limit, colimit, varinjlim
varprojlim

--- ../../../guru/app-text/sioyek/files/shim.sh 1970-01-01 01:00:00.000000000 +0100 | |
+++ ./files/shim.sh 2025-08-19 13:08:03.390721842 +0200 | |
@@ -0,0 +1,12 @@ | |
+#!/bin/sh | |
+# Run sioyek with the correct graphics-related environment on wayland | |
+ | |
+if [ "${XDG_SESSION_TYPE:-}" = "wayland" ]; then | |
+ export __GLX_VENDOR_LIBRARY_NAME=mesa | |
+ export __EGL_VENDOR_LIBRARY_FILENAMES=/usr/share/glvnd/egl_vendor.d/50_mesa.json | |
+ export MESA_LOADER_DRIVER_OVERRIDE=zink |
WebkitGTK versions 4.0 is being removed from gentoo's main repo, in favour of the equivalent 4.1 version. This breaks PlaydateSimulator
which dynamically loads libwebkit2gtk-4.0.so.37
.
The dirty hack would be to symlink the newer sofiles to the old filenames. Any sane person would dislike this approach though, as it specifically works around the package manager and messes with system-wide libraries. Instead, we can patch the ELF to directly request the newer versions.
cd $PLAYDATE_SDK_PATH
cd bin
patchelf --replace-needed libwebkit2gtk-4.0.so.37 libwebkit2gtk-4.1.so PlaydateSimulator
#!/usr/bin/env bash | |
set -e | |
COLOR='\033[1;32m' | |
NC='\033[0m' # No Color | |
log() { | |
echo -e "${COLOR}#" $@ "${NC}" | |
} |
#!/usr/bin/env fish | |
# | |
# Smelly code ahead | |
set file $argv[1] | |
set bn (basename $file | rev | cut -d. --complement -f1 | rev) | |
set pdf2htmlEX docker run -ti --rm -v (pwd):/pdf bwits/pdf2htmlex pdf2htmlEX | |
$pdf2htmlEX --printing 0 --embed-outline 0 --zoom 1.2 $file |
I hereby claim:
To claim this, I am signing this object:
This script is made to be used along base16-shell.
Just put it in scripts/
and use jay
as the colorscheme.
I take no credit for this, full credit is given to josuegaleas
A Pen by Théophile Cailliau on CodePen.
<link rel="import" href="../core-icon-button/core-icon-button.html"> | |
<link rel="import" href="../core-toolbar/core-toolbar.html"> | |
<link rel="import" href="../core-header-panel/core-header-panel.html"> | |
<link rel="import" href="../paper-tabs/paper-tabs.html"> | |
<link rel="import" href="../paper-tabs/paper-tab.html"> | |
<polymer-element name="my-element"> | |
<template> | |
<style> |