Docker

Note

Export Docker Filesystem

Note

Remove unused Docker data

Note

Remove unused Docker images

Note

Setup for multi-arch build

Note

Build a new Docker container

Note

Login to Docker container

GDB

Note

GDB: get backtrace for all threads

Note

Run GDB in a loop until hitting an error

Git

Note

Squash entire git branch

Note

Update Git repo from remote

Note

Update Git tags to match remote

Note

Change url for a Git remote

Note

Delete local branches without a remote

Note

Remove a Git submodule

Note

Remove a tag in a remote Git repository

shell

Note

Run command in all subdirectories

Shortcuts

Note

Windows Shortcuts

Note

Windows Terminal Pane Commands

VSCode

Note

VSCode Makefile handling

Windows

Note

Windows Shortcuts

Note

Windows Terminal Pane Commands

Windows Terminal

Note

Windows Terminal Pane Commands

WSL

Note

Set WSL default user

Note

Import WSL distribution from a tar archive