function jr() { file=$(basename $@ .java) if [ -f $@ ]; then if [ -f $file.class ]; then #si existe una version anterior eliminar rm $file.class fi javac $@; if [ -f $file.class ]; then #si existe el fichero compilado ejecutar java $file; rm $file.class #eliminar el fichero fi else echo El fichero especificado no existe fi }
Compartir: