On Fri, Dec 11, 2020 at 10:53 AM Mark Thomas <[email protected]> wrote:
> On 11/12/2020 08:49, Martin Grigorov wrote: > > On Fri, Dec 11, 2020 at 10:41 AM Martin Grigorov <[email protected]> > > wrote: > >> On Fri, Dec 11, 2020 at 10:37 AM Rainer Jung <[email protected]> > > <snip/> > > >>> Maybe one could > >>> > >>> cd `dirname $0` > >>> > >> > > Two issues with this: > > > > 1) the script usage is: ./bin/migrate.sh input.war output.war > > if we "cd" into bin/ then input.war is not there anymore. Its path should > > be fixed to ../input.war somehow > > > > 2) it would be good to leave the user back to the original directory > after > > executing the script but pushd/popd are not available for 'sh'. We will > > need to use Bash or another > > You might find inspiration for a fix in the Tomcat startup scripts. > Do we need to fix it ? It works fine. > > Mark > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
