Re: [Github-comments] [geany/geany] Make the shell used by Geany to run various commands configurable (#2363)