Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> Erm ... you can in fact do "ALTER USER SET random_page_cost"
> today.
Ouch. I'm embarrassed to have missed that. I'll do that instead of
adding those settings to the scripts, then.
Thanks for pointing that out.
-Kevin