GitMensch

# see https://github.com/gitpod-io/gitpod/issues/8893

sudo apt install -y bison flex libelf-dev libnewt-dev libdw-dev libaudit-dev libiberty-dev libunwind-dev libcap-dev libzstd-dev libnuma-dev libssl-dev python3-dev python3-setuptools binutils-dev gcc-multilib liblzma-dev systemtap-sdt-dev
# you _may_ need asciidoc, too; that's quite a big one
cd /workspace
git clone --depth 1 --filter=blob:none --sparse git://git.kernel.org/pub/scm/linux/kernel/git/acme/linux.git
cd linux
git sparse-checkout set dir tools scripts
git fetch --depth 1 origin v5.15
make -C tools/perf

GitMensch

#!/usr/bin/env python3
"""
Allows the user to select one of the coredumps from the journal using fzf,

places the coredump at the given path (default /tmp/coredump),
links the related program binary to the given path (default /tmp/coredump-program),

and optionally attaches gdb.
"""
import argparse