[Jde-dev] jde shell

[David Lobato]

He apañado algo de código que tenía hecho para mejorar la shell de jde.
Adjunto el diff, probadlo y vemos si ponerlo o no.

He implementado los comandos que teníais y alguno mas, aunque habrá que
depurarlo bien.
El diff incluye algún otro cambio relacionado con el ticket #218.

Saludetes.
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: http://gsyc.escet.urjc.es/pipermail/jde-developers/attachments/20090203/db8623fb/attachment.htm 
------------ próxima parte ------------
Se ha borrado un mensaje que no está en formato texto plano...
Nombre     : jdeshell-20090103.diff
Tipo       : text/x-diff
Tamaño     : 17547 bytes
Descripción: no disponible
Url        : http://gsyc.escet.urjc.es/pipermail/jde-developers/attachments/20090203/db8623fb/attachment.diff