ion: pipeline execution error: process ($pid) ended by signal SIGINT (ion in dolphin)
Dolphin (KDEs default file manager) has a rather cool feature which allows one to have a terminal pane within the file manager. The file navigation pane and the terminal are also linked. For example if the user navigates to a different directory in the file browser, dolphin issues a
cd $dir inside the terminal and when the user does a
cd $dir inside the terminal, the file browser pane is updated accordingly.
However, when using ion, the following error message is displayed after each
cd command (issued by dolphin, not when the user manually enters the
ion: pipeline execution error: process ($pid) ended by signal SIGINT
$pid is the pid of ion (and it still lives after the command was completed). Also, the
cd command works as it should (i.e. the directory IS changed).
I don't think that this is a serious issue (it doesnt really bother me much yet) and just wanted to report it for completeness :)