Я знаю, что это старый вопрос, но я нашел его через Google, и это заставило меня задуматься. Это основной хак, но вы можете скачать
https://raw.githubusercontent.com/rcaloras/bash-preexec/master/bash-preexec.sh
в свой дом и добавьте следующее в .bashrc
source ~/.bash-preexec.sh
preexec() {
if [[ $1 =~ [^\s]+\.exe$ ]]; then
eval "$1() { return 1; }"
export -f $1
/usr/bin/mono $1
fi
}
precmd() { [[ $1 =~ [^\s]+\.exe$ ]]; unset -f $1; }