Dear Maintainer,

I'm defining a couple of shell functions in my ~/.bash_profile and
export them so I can use them in xterms started from within
notion. This worked fine in jessie, but broke with the update to
stretch. Apparently in stretch dash (which provides /bin/sh) drops
bash functions from the environment. Since notion uses /bin/sh (rather
than the user shell) to execute any program everything started by
notion will lack the shell functions.

Please make the shell to use configurable and / or default to using
the user shell instead of /bin/sh. Not only does this avoid this kind
of bug, it also matches the user expectations regarding the shell
syntax more closely.

PS: Thanks for maintaing the Debian package for notion!

Hi. Sorry to dig this up. Do you still care about this? If so, when
exactly is notion using the shell here? Are you talking about what
notion does when you select "Run" from the menu?

Thanks