Re: taskmanager.tmp.dirs vs io.tmp.dirs

2019-05-09 Thread Fabian Hueske
Hi, I created FLINK-12460 to update the documentation. Cheers, Fabian Am Mi., 8. Mai 2019 um 17:48 Uhr schrieb Flavio Pompermaier < pomperma...@okkam.it>: > Great, thanks Till! > > On Wed, May 8, 2019 at 4:20 PM Till Rohrmann wrote: > >> Hi Flavio, >> >> taskmanager.tmp.dirs is the deprecated

Re: taskmanager.tmp.dirs vs io.tmp.dirs

2019-05-08 Thread Flavio Pompermaier
Great, thanks Till! On Wed, May 8, 2019 at 4:20 PM Till Rohrmann wrote: > Hi Flavio, > > taskmanager.tmp.dirs is the deprecated configuration key which has been > superseded by the io.tmp.dirs configuration option. In the future, you > should use io.tmp.dirs. > > Cheers, > Till > > On Wed, May 8

Re: taskmanager.tmp.dirs vs io.tmp.dirs

2019-05-08 Thread Till Rohrmann
Hi Flavio, taskmanager.tmp.dirs is the deprecated configuration key which has been superseded by the io.tmp.dirs configuration option. In the future, you should use io.tmp.dirs. Cheers, Till On Wed, May 8, 2019 at 3:32 PM Flavio Pompermaier wrote: > Hi to all, > looking at > https://ci.apache.