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 <pomperma...@okkam.it> wrote: > Hi to all, > looking at > https://ci.apache.org/projects/flink/flink-docs-stable/ops/config.html it's > not very clear to me the difference between these two settings (actually I > always used the same value for the two). > > My understanding is that taskmanager.tmp.dirs is used to spill memory when > there's no more RAM available, while io.tmp.dirs for all other situations > (but which are them exactly?). > > Thanks in advance, > Flavio >