ubuntu - puntos - Cambiar el separador decimal en GDB

oracle cambiar coma decimal por punto

Question

¿Hay alguna manera de cambiar el separador decimal en gdb, sin cambiarlo en todo el sistema?

Tengo un ubuntu 14.04 francés (con coma como separador decimal). Pero en gdb, cualquier punto flotante escrito con un punto (por ejemplo, p 2.0 ) genera un mensaje de "número inválido"; y la coma se interpreta como separador de lista ...

Intenté crear un archivo gdbinit con el set environment LC_NUMERIC="C" , pero no funcionó ...