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. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
