[patch] Implement $_version; for auto-load commands in ~/.gdbinit

[Jan Kratochvil]

On Fri, 24 Aug 2012 18:32:15 +0200, Jan Kratochvil wrote:
> Before writing it is there a consensus for example for ~/.gdbinit to use
> 	set $_ignore_errors=1
> 	add-auto-load-safe-path ~/src
> 	set $_ignore_errors=0
> ?

Apparently that would not work.  Probably either:
	if $_have_ignore_errors
		set ignore-errors yes
		add-auto-load-safe-path ~/src
		set ignore-errors no
	end
or:
	if $_have_ignore_errors
		set $_ignore-errors=1
		add-auto-load-safe-path ~/src
		set $_ignore-errors=0
	end
or:
	if $_have_ignore_errors
		ignore-errors
			add-auto-load-safe-path ~/src
		end
	end


Thanks,
Jan