]> git.pond.sub.org Git - empserver/commit
projects / empserver / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba484d1) | patch
client: Support $if Empire in .inputrc
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 13 Dec 2015 16:39:22 +0000 (17:39 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 6 Aug 2017 09:22:30 +0000 (11:22 +0200)
commit6a0f9d9874276d25ec9d53b77bcbba994ec0c51a
treed696e459ef26b5921d8d0f28b88e153461ee29b7tree | snapshot
parentba484d13896255b74533fe48b7fc11043927c190commit | diff
client: Support $if Empire in .inputrc

Set the application name to "Empire" to support Empire-specific
customization of readline.  Use in .inputrc looks like this:

    $if Empire
    set bell-style audible
    set history-size 500
    else
    set bell-style visible
    $endif

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
man/empire.6 diff | blob | history
src/client/play.c diff | blob | history
Markus's Wolfpack Empire tree