[ jEdit-devel ] [Bug #125624] DefaultShell.java with "cd"

[<no...@so...>]

Bug #125624, was updated on 2000-Dec-13 06:53
Here is a current snapshot of the bug.

Project: jEdit
Category: plugins
Status: Closed
Resolution: Fixed
Bug Group: minor bug
Priority: 5
Submitted by: nobody
Assigned to : nobody
Summary: DefaultShell.java with "cd"

Details: line 53 says:
    else if(command.startsWith("cd"))

it should be:
    else if(command.startsWith("cd "))

so that commands like "cdadb xyz" are parsed as a command "cdabc" and not
as "cd" to directory "abc".

mr...@no...

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=125624&group_id=588