+ my $cmd = "target extended-remote";
+ -f $ARGV[0] and $cmd = "core-file";
+ print $fh "$cmd $ARGV[0]\n";
+
+ # History settings
+ print $fh "set history filename $Bin/../tmp/.gdb_history\n";
+ print $fh "set history size 100000000\n";
+ print $fh "set history save on\n";