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
used
[address|hostname|username]: ignore one pattern of the corresponding type

    _______________________________________________________

Reply to this item at:

  <http://gna.org/patch/?1297>

_______________________________________________
  Nachricht geschickt von/durch Gna!
  http://gna.org/


_______________________________________________
Freeciv-dev mailing list
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev

Reply via email to