--- PKGBUILD.old 2013-10-13 12:29:53.802977559 -0500 +++ PKGBUILD.new 2013-10-13 12:26:17.879644462 -0500 @@ -33,10 +33,13 @@ cat <<"EOF" >${pkgdir}/usr/bin/$pkgname #!/bin/sh # source application-specific settings -JOSM_ARGS= -[ -f /etc/conf.d/josm ] && . /etc/conf.d/josm -CLASSPATH="/usr/share/java/josm/josm.jar" -java ${JOSM_ARGS} -cp "${CLASSPATH}" org.openstreetmap.josm.gui.MainApplication "$@" +while true; do + JOSM_ARGS= + [ -f /etc/conf.d/josm ] && . /etc/conf.d/josm + CLASSPATH="/usr/share/java/josm/josm.jar" + java ${JOSM_ARGS} -cp "${CLASSPATH}" -Djosm.restart=true org.openstreetmap.josm.gui.MainApplication "$@" + [ $? -eq 9 ] || break +done EOF chmod 755 ${pkgdir}/usr/bin/$pkgname install -Dm644 ${srcdir}/$pkgname.conf.d ${pkgdir}/etc/conf.d/$pkgname