Follow-up Comment #5, patch #1297 (project freeciv):

the ignore command could be extended as followed:

* ignore player add <player>
* ignore player del <player>
* ignore [address|hostname|username] add <pattern>
* ignore [address|hostname|username] del <pattern id>
* ignore list

player: can be used to ignore a player independent of the nick / connection
[address|hostname|username]: ignore one pattern of the corresponding type


Reply to this item at:


  Nachricht geschickt von/durch Gna!

Freeciv-dev mailing list

Reply via email to