]> git.pond.sub.org Git - empserver/commit - man/empire.6
client: Tie up a few lose readline ends
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 13 Dec 2015 08:10:08 +0000 (09:10 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 6 Aug 2017 09:22:29 +0000 (11:22 +0200)
commit0cb66906009297f0beb9f3b71648635bb190d260
tree7fddbf46daaf29e671eeec85980f0c46216134c3
parentf1fc0df03d3350ffe65cd2ff929bcf3ddc958c7c
client: Tie up a few lose readline ends

Document readline in more detail in man/empire.6.

Make @history_file local to main().

main() silently truncates the home directory name to 1000 characters
when constructing the history file name; mark FIXME.

Set @rl_already_prompted just once.

Write history file on unsuccessful exit, too.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
man/empire.6
src/client/main.c
src/client/misc.h
src/client/play.c