1 files changed, 20 insertions, 0 deletions
diff --git a/.gdbinit b/.gdbinit
index d5ecc78463..06a616cf54 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -335,6 +335,9 @@ define rp_id
   if $id == idLTLT
     printf "(:<<)\n"
   else
+  if $id == idGTGT
+    printf "(:>>)\n"
+  else
   if $id == idLE
     printf "(:<=)\n"
   else
@@ -362,6 +365,18 @@ define rp_id
   if $id == idASET
     printf "(:[]=)\n"
   else
+  if $id == idCOLON2
+    printf "(:'::')\n"
+  else
+  if $id == idANDOP
+    printf "(:&&)\n"
+  else
+  if $id == idOROP
+    printf "(:||)\n"
+  else
+  if $id == idANDDOT
+    printf "(:&.)\n"
+  else
     if $id <= tLAST_OP_ID
       printf "O"
     else
@@ -416,6 +431,11 @@ define rp_id
   end
   end
   end
+  end
+  end
+  end
+  end
+  end
 end
 document rp_id
   Print an ID.