http://www.jamessturtevant.com/posts/Setting-Global-Shortcuts-for-Bash-for-Windows/
C Costas Administrator Staff member Jul 7, 2017 #1 http://www.jamessturtevant.com/posts/Setting-Global-Shortcuts-for-Bash-for-Windows/
