Skip to content

Instantly share code, notes, and snippets.

View mjaschen's full-sized avatar
😏
What's happening?

Marcus Jaschen mjaschen

😏
What's happening?
View GitHub Profile
@mjaschen
mjaschen / de.dot
Last active July 28, 2022 11:36
Germany's states and state boundaries as DOT source.
graph "DE" {
BB -- MV, BE, SN, SA
BR -- NI
BW -- RP, HE, BY
BY -- HE, TH, SN
HA -- SH, NI
HE -- NW, NI, TH, RP
MV -- SH, NI
NI -- SH, BB, NW, TH, SA
NW -- RP
local wezterm = require 'wezterm'
local act = wezterm.action
local config = {}
if wezterm.config_builder then config = wezterm.config_builder() end
config.quit_when_all_windows_are_closed = false
config.scrollback_lines = 50000
config.enable_scroll_bar = true