how to set drill planner parameter in drill-override.conf

[王亮]

I want to change the planner parameter according to
https://drill.apache.org/docs/configuration-options-introduction/

for example ,set  planner.slice_target = 10000

I add one line in drill-override.conf

planner.slice_target = 10000

or
planner : {
      slice_target:1000
}

I run the query:
select * from sys.options where name in (''planner.slice_target');

but I find this parameter is still the default value 100000.

So how to change this value in  drill-override.conf?