15ba71d766
This also makes things like -e "cd $HOME && bash" work; the shell does it for us. In this respect we are at least better than gnome-terminal. This has the "disadvantage" that if you don't set $SHELL and don't have a known shell installed, your custom command will no longer save you. Also if you have a $SHELL which doesn't support -c 'command', it breaks. These users deserve their pain. Resolves lp#247330, I think. |
||
---|---|---|
.. | ||
__init__.py | ||
config.py | ||
encoding.py | ||
freebsd.py | ||
terminator.py | ||
terminatorterm.py | ||
version.py |