Terminal

Configuration, aliases, and tips for terminal tools.

aliases

I prefer to use git in my terminal — this way I can see the output of the commands I run, and thanks to aliases, it is blazingly fast. Type less, do more. ...

2026-03-03

atuin

Shell history search and sync with atuin.

2026-03-03

kitty

Configuration and keybindings for the kitty terminal emulator.

2026-03-03

micro

Setup and plugins for the micro terminal editor.