Getting gdb to automatically download a binary file from the main file

Question

Can I get gdb to automatically download the binary specified in the main file?

Given the main file that I usually do now:

gdb -c corefile
GNU gdb 6.8
...
Core was generated by `/path/to/binary'

Then copy-paste and run:

gdb -c corefile /path/to/binary

This seems like an unnecessary two-step process, but I don't see an obvious way to do this based on the man page. Did I miss something?

Answer 1

Could you just script it?

#!/bin/bash
gdb "`file "$1" | awk -F \' '{print $2}'`" "$1"

Answer 2

This is what I usually do:

var=$(file corefile)
echo ${var##*from}