O Bash não possui esse recurso. Zsh, você pode configurar aliases com base em extensões:
alias -s exe=mono
Isso só funciona em um shell interativo, no entanto, não quando um programa invoca outro.
No Linux, você pode configurar a execução de binários estrangeiros através do mecanismo binfmt_misc ; veja Rolf Bjarne Kvinge . Boas distribuições Linux configuram isso automaticamente como parte do pacote de tempo de execução mono.
Se você não pode usar binfmt_misc porque você não tem permissões de root, você terá que se contentar com scripts de wrapper.
#!/bin/sh
exec /path/to/mono "$0.exe" "$@"
Coloque o script wrapper no mesmo diretório que o arquivo .exe
, com o mesmo nome sem .exe
.