On Fri, May 21, 2010 at 5:40 AM, Kevin Kofler wrote:
Eli Wapniarski wrote:
> On Tuesday 11 May 2010 00:57:24 Petrus de Calguarium wrote:
>> Yes, of course it was always there :-) That is the correct command for
>> changing directories. It is the ^C that was never there before.
>
> Looks like a bug to me.
It's not a bug. It's an important bugfix! If you have "rm -rf " typed
in
your terminal and Dolphin enters "cd something" and ENTER, boom! This has
already lead to real-world data loss for some people! There's an upstream
bug filed for this, and I guess they finally fixed that now. Typing "cd
somedir" into a random command's prompt is also going to do no good, Ctrl+C
also protects against that.
I think a real fix would be not to change the directory at all. If I
want to change a directory in a terminal I can (and I should) do it
myself.
If I want to have a prompt in the terminal that starts in the
directory, which I changed to in dolphin, I can just open a new one
with F4.
The changing directory "feature" is why I use F4 in dolphin very rarely.
Orcan