Commit Graph
8 Commits
Author SHA1 Message Date
Johannes Dewender f6dcfea6fe fix contributor list sorting
Two things were off:

 1. sorting should be case-insensitive, in both places
 2. multiple entries can be added just before the same line
2012-04-20 11:53:59 +02:00
Johannes Dewender 3f93dc4b6d handle all types of aliases for the contributor list
If a contributor email is already in the list we won't create a new
entry. However, if the name is different than in the list, we print a
message if an alias is missing in .mailmap

If an email is not in the list, but the name is in the list this could
mean two things:

 1. Two different persons have the same name.
    This is possible, but less likely than 2.
 2. A contributor used another mail.
    This is likely the case and we don't make a new entry,
    but print a message.
2012-04-19 17:33:48 +02:00
Johannes Dewender 1a26af6ebb script to update contributor list automatically
The script merges new contributors in the short-term
contributor list in CONTRIBUTORS.rst
2012-04-19 03:04:29 +02:00
Johannes Dewender d573631e11 add script to check for new contributors to list
Use git shortlog to create a list of contributors
that are not yet included in CONTRIBUTORS.rst

The email address is taken as definitive.
People with the same name, but different email addresses
are supported.
Aliases, different email addresses for the same person,
are handled by git with .mailmap
2012-04-19 01:44:15 +02:00
Johannes Dewender d6b2cf3a0d more detailed player inspect + list multiple
List all the main player information:
position, dimension, spawnposition
health, foodLevel, Level. XP, gametype

If a players directory is given, all players in there are listed.

If a file is given, list only this player.

You can also give a directory and a player name:

python playerInspect.py [ file | dir [playername] ]
2012-03-27 03:41:14 +02:00
Johannes Dewender 122eaee37d add bed marker icon from faithful pack
Taken from the Faithful 32 texture pack:
http://www.minecraftforum.net/viewtopic.php?f=25&t=77442
2012-03-27 03:04:09 +02:00
Johannes Dewender 779b38f2a3 use avatars for player markers
Avatars are taken from scripts at overviewer.org

Do we need caching here?
2012-03-27 03:02:52 +02:00
Johannes Dewender 25fcd5e8bb generate player POI out of players dat files
The new ids are called "Player" and "PlayerSpawn".
EntityId is the name of the player.
Everything from the player dat is available in the poi filters.

The Player position is the position on last logout.
2012-03-27 03:00:59 +02:00