FOSS gamedev and creative worlds

My server crashed just now and failed to start up with the PlayerArgsEnd error.
I neither wanted to delete all the player profiles nor look through evey one of them, so I learned bash script and wrote this one to help me check them automatically.
Put it into your /worlds/(worldname)/players folder and execute it.Don't change its filename!
When you found the corrupted file,either delete it or fix it manually.
https://gist.github.com/arsdragonfly/5772568

Screenshot:

Hi, I have tried your bash script and it's not working.

I'm using Ubuntu 12.04. I stuck it in the player folder, but the result lists a bunch of files which are not in the player folder

the end of the readout:


where my player files will include BadWolf and BadWolf2. These aren't even listed

arsdragonfly wrote:Screenshot:
-snip-

You have a minetest server on your phone?

I have made a better script now: https://gist.github.com/sfan5/6120106
It's only one line and you can change its name to whatever you want as long as it still has the .sh extension
You can also just use the command(line 3) in the console directly

sfan5 wrote:

arsdragonfly wrote:Screenshot:
-snip-

You have a minetest server on your phone?

I did.