[mercury-users] mdb default settings

[Nicholas Nethercote]

Hi,

Is there a way to setup default settings in mdb?  I find myself typing 
"format_param depth 10" and "format_param size 100" a lot.  I think GDB lets 
you use a .gdb file or somesuch.

Thanks.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------