# HG changeset patch # User Kim F. Storm # Date 1121340635 0 # Node ID 18dde5f76662339458f64c1267d7a8a0c0379452 # Parent f481f3898c0f5a3f2149adf0a838b138b95f1667 (pitx): Fix output format. Print string charpos. diff -r f481f3898c0f -r 18dde5f76662 src/.gdbinit --- a/src/.gdbinit Thu Jul 14 11:30:10 2005 +0000 +++ b/src/.gdbinit Thu Jul 14 11:30:35 2005 +0000 @@ -129,20 +129,24 @@ end if ($it->what == IT_CHARACTER) if ($it->len == 1 && $it->c >= ' ' && it->c < 255) - printf "ch='%c'", $it->c + printf " ch='%c'", $it->c else - printf "ch=[%d,%d]", $it->c, $it->len + printf " ch=[%d,%d]", $it->c, $it->len end else if ($it->what == IT_IMAGE) - printf "IMAGE=%d", $it->image_id + printf " IMAGE=%d", $it->image_id else + printf " " output $it->what end end if ($it->method != GET_FROM_BUFFER) printf " next=" output $it->method + if ($it->method == GET_FROM_STRING) + printf "[%d]", $it->current.string_pos.charpos + end end printf "\n" if ($it->region_beg_charpos >= 0)