search

dje42 / gdb

various gdb patches, extensions
GNU General Public License v2.0
1 stars 0 forks source link

[gdb-guile] readline support in interactive guile #3

Open dje42 opened 11 years ago

dje42 commented 11 years ago

It's not clear what kind of readline support to provide in interactive guile sessions.

Data point: IWBN if separate histories are maintained.