Comment 3 for bug 1731734

The following action advised in ww.mplayerhq.hu/DOCS/HTML/de/bugreports_what.html#bugreports_debug do not work... I created a comand file containing
bt
disass $pc-32,$pc+32
info all-registers
and ran
gdb mplayer --core=core -batch --command=mycommandfile > mplayer.bug
but this only resulting in
/home/xyz/core: Datei oder Verzeichnis nicht gefunden. [file not found]
./gdb-command:1: Error in sourced command file:
No stack.

No file mplayer.bug was written.