https://ridingintraffic.github.io/posts/2018-11-05-bash-ctrl-r/