-
Benoit Perrot authored
Introduce command identifier completion in shell. * src/shell/shell.hh, src/shell-tasks.cc: Make Shell a singleton. * src/shell/shell.cc: Use readline's custom completers system to complete command identifiers.
855cddf8
Introduce command identifier completion in shell. * src/shell/shell.hh, src/shell-tasks.cc: Make Shell a singleton. * src/shell/shell.cc: Use readline's custom completers system to complete command identifiers.