# contents of $HOME/.ssh/config
Host dev
HostName dev.example.com
Port 22000
User fooey
From: https://nerderati.com/2011/03/17/simplify-your-life-with-an-ssh-config-file/
i.e. some stuff and junk about Python, Perl, Matlab, Ruby, Mac X, Linux, Solaris, ...
# contents of $HOME/.ssh/config
Host dev
HostName dev.example.com
Port 22000
User fooey
vncviewer -QualityLevel=7 -FullColor=0 -LowColorLevel=2 -CompressLevel=3 :3
bindsym $mod+d exec "rofi -combi-modi window,drun -show combi"
find dir/ -name *.txt -type f -exec grep -H 'string' {} +
cat /var/log/pacman.log | grep -i upgraded
cat /var/log/pacman.log | grep -i installed