This problem has been a mystery to me, and I figure to a bunch of other people, too: If you hit F4 in Mac OS X (or macOS) since Lion, it does not have any effect. What. It appears that the key (when hit without modifiers) is disabled for some reason: I mainly rely on the Function keys on my mechanical keyboard to switch windows in tmux, and e.g., if you hit shift-F4 (the same thing, according to the terminal), it actually works.
I use a Mac as my main typing/character-displaying computer, and on
macOS, iTerm2 is the best terminal emulator that I’ve found so
far. In addition to iTerm2, I also use
the mobile shell, to get a fast, interactive and
disconnection-resistant SSH-like connection to hosts on which I need
to use the commandline.
The first time had a painful RSI attack was in 2003. It was as if my world collapsed: I’d dealt with hand weirdness since the late 90s (twitches, tingles) but I didn’t recognize that as symptoms of RSI. When both my hands started hurting and even everyday chores like folding laundry turned painful, I started doubting whether I could continue my career in technology.
As it turns out, it is possible to deal with RSI, not be in pain and have a career that involves a lot of typing.
At my workplace, we use github pretty extensively, and with github, we use organization teams. They allow assigning permissions on different repos to groups of people, but, are a really great way of @-mentioning people. This is wonderful, but sadly, github doesn’t make it easy for gmail filters to tell the difference between an email notification that you got because it was interesting to you, or because somebody sent a heads-up @-mention to a team you’re on.
I thought that was impossible to solve, but I was so wrong!