[Python-mode] buffer-named-shells?

[Andreas Röhler]

Hi Barry, hi all,

reflecting the question, how to proceed when executing a buffer which might result in a time-consuming run.

For now starting it in a dedicated process resp. shell is the solution.
These dedicated shell names however are machine-generated and hard to read resp. to remember.

Possible solutions:

- running a shell which is named after the buffer.
- combine the buffer-name with the dedicated name.

Opinions?

Cheers,

Andreas