Blog/Software tools I like (Jan 2025)
It just occurred to me that there are software tools I like that either aren't well known (to others) or aren't known enough so that I can easily find them.
In this page I want to list a few of those, along with links, mainly so I can get back at this list later in the future.
The software
- boring ssh tunnel manager (another tool found, lost and then found again)
- most (a cool unix pager)
- gossm (a nice tool to access ec2 instances via systems manager)
- iridakos/goto: simple tool to record directory aliases in the shell
- pyenv for managing multiple python versions on the same system
- I needed this because python 3.13 broke the compatibility with kubernetes client-python for my use case
- the ghostty terminal emulator
- I will
- add
- further tools
- here
- further tools
- add
Configuration snippets
As those sofwares are not all very widespread, I'll be saving some commented configurations. The main objective is to not lose configuration files across re-installations, and to have a quickly reachable page from where i can copy-paste configurations ;)
Ghostty
# I use bash from homebrew
command = /opt/homebrew/bin/bash
# terminal capabilities, back/fore-ground colors
term = xterm-256color
background = #000000
foreground = #FFFFFF
# configuring drop-down terminal
keybind = global:f11=toggle_quick_terminal
quick-terminal-position = top
quick-terminal-animation-duration = 0
quick-terminal-size = 75%
# Making Ghostty work well with gnu emacs:
## useful for keybindings
macos-option-as-alt = true
## for some reason emacs over ssh does not work without this
keybind = Backspace=text:\x7f
(but why?)
I used to use a small utility written in go called goto that allowed me to associate a name with a local path and just type "goto <directoryname>" to change the current directory to that path. I can't find that utility anymore. It might be golang-goto or goto (or maybe iridakos/goto ... I have to check)
