Nachtrag zu dem shortcut: Wenn der nicht geht, könnte man auch bash.py direkt starten, bzw. einen shortcut zu bash.py legen, denn extensions mit py sollten auch standardmäßig mit python geöffnet werden.