On Wed, Jan 19, 2011 at 13:30, Dave Page <dpage@pgadmin.org> wrote:
> On Wed, Jan 19, 2011 at 12:29 PM, Magnus Hagander <magnus@hagander.net> wrote:
>> On Wed, Jan 19, 2011 at 13:22, Dave Page <dpage@pgadmin.org> wrote:
>>> On Wed, Jan 19, 2011 at 12:20 PM, Magnus Hagander <magnus@hagander.net> wrote:
>>>> I came across yet another case of "i did vacuum full because it seemed
>>>> like a good idea" today.. Urgh.
>>>>
>>>> What do you guys think of a patch like the attached, which throws a
>>>> warning when you run vacuum full from the maintenance dialog on a
>>>> pre-9.0 version?
>>>
>>> Something like that should be a guru hint shouldn't it?
>>
>> Hmm. That might be an idea. I always turn those off because the
>> majority of them are just annoying ;)
>>
>> Where the heck is the *source* for the guru hints stored?
>
> docs/xxxx/hints.
Meh. So why didn't mym "git grep" find that.. *annoyance*.
Anyway. Something like this, then? Am I missing something still?
--
Magnus Hagander
Me: http://www.hagander.net/
Work: http://www.redpill-linpro.com/
